Showing 1 - 2 results of 2 for search 'Parretti, G', query time: 0.02s Refine Results
  1. 1
    Symbolic LTLf best-effort synthesis

    Symbolic LTLf best-effort synthesis by De Giacomo, G, Parretti, G, Zhu, S

    Published 2023
    Conference item
  2. 2
    LTLf best-effort synthesis in nondeterministic planning domains

    LTLf best-effort synthesis in nondeterministic planning domains by De Giacomo, G, Parretti, G, Zhu, S

    Published 2023
    Conference item

Search Tools: