Optimal Strategies in Priced Timed Game Automata
AbstractPriced timed (game) automata extends timed (game) automata with costs on both locations and transitions. In this paper we focus on reachability games for 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 in addition that it is decidable whether there is an optimal strategy in which case an optimal strategy can be computed. Our results extend previous decidability result which requires the underlying game automata to be acyclic. Finally, our results are encoded in a first prototype in HyTech which is applied on a small case-study.
How to Cite
Bouyer, P., Cassez, F., Fleury, E., & Larsen, K. G. (2004). Optimal Strategies in Priced Timed Game Automata. BRICS Report Series, 11(4). https://doi.org/10.7146/brics.v11i4.21829
Articles published in DAIMI PB are licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.