Doomsday equilibria for omega-regular games

Krishnendu Chatterjee, Laurent Doyen 0001, Emmanuel Filiot, Jean-François Raskin. Doomsday equilibria for omega-regular games. Inf. Comput., 254:296-315, 2017. [doi]

Authors

Krishnendu Chatterjee

This author has not been identified. Look up 'Krishnendu Chatterjee' in Google

Laurent Doyen 0001

This author has not been identified. Look up 'Laurent Doyen 0001' in Google

Emmanuel Filiot

This author has not been identified. Look up 'Emmanuel Filiot' in Google

Jean-François Raskin

This author has not been identified. Look up 'Jean-François Raskin' in Google