Controller Synthesis for Timeline-based Games

Renato Acampora, Luca Geatti, Nicola Gigante, Angelo Montanari, Valentino Picotti

Research output: Contribution to journalConference articleResearchpeer-review

2 Downloads (Pure)

Abstract

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.

Original languageEnglish
JournalElectronic Proceedings in Theoretical Computer Science, EPTCS
Volume370
Pages (from-to)131-146
ISSN2075-2180
DOIs
Publication statusPublished - 20. Sept 2022
Event13th International Symposium on Games, Automata, Logics and Formal Verification, G and ALF 2022 - Madrid, Spain
Duration: 21. Sept 202223. Sept 2022

Conference

Conference13th International Symposium on Games, Automata, Logics and Formal Verification, G and ALF 2022
Country/TerritorySpain
CityMadrid
Period21/09/202223/09/2022

Fingerprint

Dive into the research topics of 'Controller Synthesis for Timeline-based Games'. Together they form a unique fingerprint.

Cite this