We study best-effort strategies (aka plans) in fully observable nondeterministic domains (FOND) for goals expressed in Linear Temporal Logic on Finite Traces (ltlf ). The notion of best-effort strategy has been introduced to also deal with the scenario when no agent strategy exists that fulfills the goal against every possible nondeterministic environment reaction. Such strategies fulfill the goal if possible, and do their best to do so otherwise. We present a technique for synthesizing best-effort strategies and propose some possible extensions of best-effort synthesis for multiple goal and planning domain specifications.
CITATION STYLE
Parretti, G. (2023). ltlf Best-Effort Synthesis for Single and Multiple Goal and Planning Domain Specifications. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 14282 LNAI, pp. 514–520). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-031-43264-4_40
Mendeley helps you to discover research relevant for your work.