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 ---...
| Үндсэн зохиолчид: | , , |
|---|---|
| Формат: | Conference item |
| Хэл сонгох: | English |
| Хэвлэсэн: |
Association for the Advancement of Artificial Intelligence
2023
|