LTLf best-effort synthesis in nondeterministic planning domains
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...
| Main Authors: | , , |
|---|---|
| Format: | Conference item |
| Language: | English |
| Published: |
IOS Press
2023
|
| _version_ | 1797112929870413824 |
|---|---|
| author | De Giacomo, G Parretti, G Zhu, S |
| author_facet | De Giacomo, G Parretti, G Zhu, S |
| author_sort | De Giacomo, G |
| collection | OXFORD |
| description | 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 game-theoretic technique for synthesizing best-effort strategies that exploit the specificity of nondeterministic planning domains. We formally show its correctness and demonstrate its effectiveness experimentally, exhibiting a much greater scalability with respect to a direct best-effort synthesis approach based on re-expressing the planning domain as generic environment specifications. |
| first_indexed | 2024-03-07T08:24:51Z |
| format | Conference item |
| id | oxford-uuid:8b49baa2-7732-4f1b-a35a-26af4b24febb |
| institution | University of Oxford |
| language | English |
| last_indexed | 2024-04-09T03:56:09Z |
| publishDate | 2023 |
| publisher | IOS Press |
| record_format | dspace |
| spelling | oxford-uuid:8b49baa2-7732-4f1b-a35a-26af4b24febb2024-03-14T12:45:24ZLTLf best-effort synthesis in nondeterministic planning domainsConference itemhttp://purl.org/coar/resource_type/c_5794uuid:8b49baa2-7732-4f1b-a35a-26af4b24febbEnglishSymplectic ElementsIOS Press 2023De Giacomo, GParretti, GZhu, SWe 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 game-theoretic technique for synthesizing best-effort strategies that exploit the specificity of nondeterministic planning domains. We formally show its correctness and demonstrate its effectiveness experimentally, exhibiting a much greater scalability with respect to a direct best-effort synthesis approach based on re-expressing the planning domain as generic environment specifications. |
| spellingShingle | De Giacomo, G Parretti, G Zhu, S LTLf best-effort synthesis in nondeterministic planning domains |
| title | LTLf best-effort synthesis in nondeterministic planning domains |
| title_full | LTLf best-effort synthesis in nondeterministic planning domains |
| title_fullStr | LTLf best-effort synthesis in nondeterministic planning domains |
| title_full_unstemmed | LTLf best-effort synthesis in nondeterministic planning domains |
| title_short | LTLf best-effort synthesis in nondeterministic planning domains |
| title_sort | ltlf best effort synthesis in nondeterministic planning domains |
| work_keys_str_mv | AT degiacomog ltlfbesteffortsynthesisinnondeterministicplanningdomains AT parrettig ltlfbesteffortsynthesisinnondeterministicplanningdomains AT zhus ltlfbesteffortsynthesisinnondeterministicplanningdomains |