On the Complexity of Parity Games

14 years 27 days ago

Parity games underlie the model checking problem for the modal

Arnold Beckmann, Faron Moller

BCS 2008 | Computer Science | Model Checking Problem | Parity Games | Polynomial-time Solution |

claim paper

Added	29 Oct 2010
Updated	29 Oct 2010
Type	Conference
Year	2008
Where	BCS
Authors	Arnold Beckmann, Faron Moller

Comments (0)