Login / Signup

The complexity of admissibility in Omega-regular games.

Romain BrenguierJean-François RaskinMathieu Sassolas
Published in: CSL-LICS (2014)
Keyphrases