Minimum-Time Reachability in Timed Games
Minimum-Time Reachability in Timed Games
复制标题
限时游戏中的最短时间可达性
DOI：
--
复制
发表时间：
2007
期刊：
影响因子：
--
通讯作者：
Jean
中科院分区：
文献类型：
--
作者：
Thomas Brihaye;T. Henzinger;Vinayak S. Prabhu;Jean
我们考虑并发两人时间自动机博弈结构中的最小时间可达性问题。我们展示了如何计算一个球员所需的最小时间，以达到目标位置对所有可能的选择的对手。我们不对博弈结构进行任何语法限制，也不要求任何参与者保证时间发散。我们只要求玩家使用不阻塞时间的接受策略。最小的时间计算部分使用不动点表达式，我们可以评估的等价类的时钟区域等价关系的时间自动机的非平凡扩展。
We consider the minimum-time reachability problem in concurrent two-player timed automaton game structures. We show how to compute the minimum time needed by a player to reach a target location against all possible choices of the opponent. We do not put any syntactic restriction on the game structure, nor do we require any player to guarantee time divergence. We only require players to use receptive strategies which do not block time. The minimal time is computed in part using a fixpoint expression, which we show can be evaluated on equivalence classes of a non-trivial extension of the clock-region equivalence relation for timed automata.
定时自动机上的可达性时间博弈
DOI：
--
发表时间：
2007
期刊：
--
影响因子：
--
作者：
Marcin Jurdzinski
通讯作者：
Marcin Jurdzinski