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.

翻译：在基于时间线的规划方法中，一组状态变量（即时间线）随时间演化的过程受一组时序约束的支配。传统的基于时间线规划系统通过处理时间不确定性，在规划与执行的集成方面表现出色。为了同时处理一般性的非确定性，近期引入了基于时间线的博弈概念。已有研究证明，判断此类博弈是否存在必胜策略是2EXPTIME完全问题。然而，目前尚缺乏实现此类策略的控制器综合的具体方法。本文通过提出一种高效且计算最优的基于时间线博弈控制器综合方法，填补了这一空白。