Energy and Mean-payoff Timed Games

Romain Brenguier (1) , Franck Cassez (2) , Jean-François Raskin (1)

1 ULB - Université libre de Bruxelles
2 NICTA - National ICT Australia [Sydney]

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.

Mots clés: Mean-payoff Timed games; Energy games

Domaines: Systèmes et contrôle [cs.SY]

Romain Brenguier, Franck Cassez, Jean-François Raskin. Energy and Mean-payoff Timed Games. 2014. ⟨hal-00943015⟩