Krishnendu Chatterjee, Laurent Doyen 0001, Emmanuel Filiot, Jean-François Raskin. Doomsday equilibria for omega-regular games. Inf. Comput., 254:296-315, 2017. [doi]
@article{ChatterjeeDFR17,
title = {Doomsday equilibria for omega-regular games},
author = {Krishnendu Chatterjee and Laurent Doyen 0001 and Emmanuel Filiot and Jean-François Raskin},
year = {2017},
doi = {10.1016/j.ic.2016.10.012},
url = {https://doi.org/10.1016/j.ic.2016.10.012},
researchr = {https://researchr.org/publication/ChatterjeeDFR17},
cites = {0},
citedby = {0},
journal = {Inf. Comput.},
volume = {254},
pages = {296-315},
}