Sciweavers

ATVA
2009
Springer
173views Hardware» more  ATVA 2009»
13 years 11 months ago
Solving Parity Games in Practice
Parity games are 2-player games of perfect information and infinite duration that have important applications in automata theory and decision procedures (validity as well as model...
Oliver Friedmann, Martin Lange