Energy and Mean-payoff Timed Games
Abstract
In this paper, we study energy and mean-payoff timed games. The decision problems that consist in determining the exis- tence of winning strategies in those games are undecidable, and we thus provide semi-algorithms for solving these strat- egy synthesis problems. We then identify a large class of timed games for which our semi-algorithms terminate and are thus complete. We also study in detail the relation be- tween mean-payoff and energy timed games. Finally, we provide a symbolic algorithm to solve energy timed games and demonstrate its use on small examples using HyTech.
Domains
Systems and Control [cs.SY]
Origin : Files produced by the author(s)
Loading...