Search
 
loader loading subjects...
cover
A Tutorial on Mean-payoff and Energy Games
Jean-François Raskin
179 - 201
10.3233/978-1-61499-627-9-179
NATO Science for Peace and Security Series - D: Information and Communication Security
Volume 45: Dependable Software Systems Engineering
Abstract

In this tutorial, we first review the definitions of mean-payoff and energy games. We then present simple and self-contained proofs of their main properties. We also provide a pseudo-polynomial time algorithm to solve them. Pointers to more advanced materials in the literature are also provided to the reader.

$35.00 / €27.50 / £22.00
Add PDF to cart