Krishnendu Chatterjee1 Graph Games with Reachabillity Objectives: Mixing Chess, Soccer and Poker Krishnendu Chatterjee 5 th Workshop on Reachability Problems,
Krishnendu Chatterjee and Laurent Doyen. Energy parity games are infinite two-player turn-based games played on weighted graphs. The objective of the game.
Games for Formal Design and Verification of Reactive Systems Rajeev Alur University of Pennsylvania alur/ ATVA, Taipei, November.
Energy Parity Games
Graph Games with Reachabillity Objectives: Mixing Chess, Soccer and Poker