Reactive synthesis of dominant strategies

We study the synthesis under environment specifications problem for LTL/LTLf which, in particular, generalizes FOND (strong) planning with these temporal goals. We consider the case where the agent cannot enforce its goal --- for which the argument for using best-effort strategies has been made ---...

Olles dieđut

Bibliográfalaš dieđut
Váldodahkkit: Aminof, B, De Giacomo, G, Rubin, S
Materiálatiipa: Conference item
Giella:English
Almmustuhtton: Association for the Advancement of Artificial Intelligence 2023