Abstrakt
In the timeline-based approach to planning, originally born in the space sector, the evolution over time of a set of state variables (the timelines) is governed by a set of temporal constraints. Traditional timeline-based planning systems excel at the integration of planning with execution by handling temporal uncertainty. In order to handle general nondeterminism as well, the concept of timeline-based games has been recently introduced. It has been proved that finding whether a winning strategy exists for such games is 2EXPTIME-complete. However, a concrete approach to synthesize controllers implementing such strategies is missing. This paper fills this gap, outlining an approach to controller synthesis for timeline-based games.
| Originalsprog | Engelsk |
|---|---|
| Tidsskrift | Electronic Proceedings in Theoretical Computer Science, EPTCS |
| Vol/bind | 370 |
| Sider (fra-til) | 131-146 |
| ISSN | 2075-2180 |
| DOI | |
| Status | Udgivet - 20. sep. 2022 |
| Begivenhed | 13th International Symposium on Games, Automata, Logics and Formal Verification, G and ALF 2022 - Madrid, Spanien Varighed: 21. sep. 2022 → 23. sep. 2022 |
Konference
| Konference | 13th International Symposium on Games, Automata, Logics and Formal Verification, G and ALF 2022 |
|---|---|
| Land/Område | Spanien |
| By | Madrid |
| Periode | 21/09/2022 → 23/09/2022 |
Bibliografisk note
Funding Information:Nicola Gigante and Luca Geatti acknowledge the support of the Free University of Bozen-Bolzano, Faculty of Computer Science, by means of the projects TOTA (Temporal Ontologies and Tableaux Algorithms) and STAGE (Synthesis of Timeline-based Planning Games).
Publisher Copyright:
© Acampora et al.