Optimal Strategies in Priced Timed Game Automata
Optimal Strategies in Priced Timed Game Automata
复制标题
定价定时博弈自动机中的最优策略
DOI：
--
复制
发表时间：
2004
期刊：
影响因子：
--
通讯作者：
K. Larsen
中科院分区：
文献类型：
--
作者：
P. Bouyer;F. Cassez;E. Fleury;K. Larsen
定价时间（游戏）自动机扩展了时间（游戏）自动机，在位置和转换上都有成本。本文研究了可达定价时间博弈自动机，并证明了在代价不存在的条件下，赢得这类博弈的最优代价是可计算的。在更强的条件下（约束严格性），我们证明了在存在最优策略的情况下，我们可以计算出一个基于状态的获胜最优策略。
Priced timed (game) automata extend timed (game) automata with costs on both locations and transitions. In this paper we focus on reachability priced timed game automata and prove that the optimal cost for winning such a game is computable under conditions concerning the non-zenoness of cost. Under stronger conditions (strictness of constraints) we prove that in case an optimal strategy exists, we can compute a state-based winning optimal strategy.