基于时间轴游戏的控制器合成
摘要：基于时间轴的规划方法中，一组状态变量（时间轴）随着一组时间约束的演化而变化。传统的基于时间轴的规划系统通过处理时间不确定性在规划与执行的整合上表现出色。为了处理一般的非确定性，最近引入了基于时间轴的游戏的概念。已经证明确定是否存在对这类游戏的获胜策略是2EXPTIME完全的问题。然而，缺少一种具体的方法来合成实现这些策略的控制器。本文通过提供一种有效且计算上最优的基于时间轴游戏控制器合成方法来填补这一空白。
作者：Renato Acampora and Luca Geatti and Nicola Gigante and Angelo Montanari and Valentino Picotti
论文ID：2307.12289
分类：Artificial Intelligence
分类简称：cs.AI
提交时间：2023-07-25