Energy and Mean-payoff Timed Games
Résumé
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.
Domaines
Systèmes et contrôle [cs.SY]
Origine : Fichiers produits par l'(les) auteur(s)
Loading...