TY  - RPRT
TI  - Doomsday Equilibria for Omega-Regular Games
AU  - Krishnendu Chatterjee
AU  - Laurent Doyen
AU  - Emmanuel Filiot
AU  - Jean-François Raskin
PY  - 2013
UR  - https://arxiv.org/abs/1311.3238
ID  - 1311.3238
ER  -