Login / Signup

Recursive algorithm for parity games requires exponential time.

Oliver Friedmann
Published in: RAIRO Theor. Informatics Appl. (2011)
Keyphrases