Energy parity games☆
Under a Creative Commons license
open access
Keywords
Games on graphs
Parity objectives
Quantitative objectives
Cited by (0)
- ☆
This is an improved version of a paper that appeared in the Proceedings of the 37th International Colloquium on Automata, Languages and Programming (ICALP), Lecture Notes in Computer Science 6199, Springer-Verlag, 2010, pages 599–610. The present version contains detailed proofs, and improved memory and algorithmic complexity bounds. This work was partially supported by FWF Grant No P 23499-N23, FWF NFN Grant No S11407-N23 (RiSE), ERC Start grant (279307: Graph Games), and Microsoft faculty fellows award.
Copyright © 2012 Elsevier B.V.