Lecture 2: Reasoning with Distributed Programs Anish Arora CSE 6333.
Krishnendu Chatterjee and Laurent Doyen. Energy parity games are infinite two-player turn-based games played on weighted graphs. The objective of the game.
Defining Programs, Specifications, fault-tolerance, etc.
Energy Parity Games