Renato Acampora ; Luca Geatti ; Nicola Gigante ; Angelo Montanari ; Valentino Picotti - Controller Synthesis for Timeline-based Games

lmcs:11639 - Logical Methods in Computer Science, August 27, 2024, Volume 20, Issue 3 - https://doi.org/10.46298/lmcs-20(3:17)2024
Controller Synthesis for Timeline-based GamesArticle

Authors: Renato Acampora ; Luca Geatti ; Nicola Gigante ; Angelo Montanari ; Valentino Picotti

    In the timeline-based approach to planning, 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, by providing an effective and computationally optimal approach to controller synthesis for timeline-based games.


    Volume: Volume 20, Issue 3
    Published on: August 27, 2024
    Accepted on: June 27, 2024
    Submitted on: July 25, 2023
    Keywords: Computer Science - Artificial Intelligence

    Consultation statistics

    This page has been seen 684 times.
    This article's PDF has been downloaded 282 times.