Timed Parity Games: Complexity and Robustness.

Krishnendu Chatterjee Thomas A. Henzinger Vinayak S. Prabhu

Published in: FORMATS (2008)

Keyphrases

computational complexity
worst case
game theory
video games
dynamic systems
data sets
petri net
computational efficiency