par Raskin, Jean-François
Référence Dependable Software Systems Engineering, IOS Press, Vol. 45, page (179-201)
Publication Publié, 2016-04
Partie d'ouvrage collectif
Résumé : 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.