Doomsday Equilibria for Omega-Regular Games

Lecture Notes in Computer Science - Verification, Model Checking, and Abstract Interpretation ◽

10.1007/978-3-642-54013-4_5 ◽

2014 ◽

pp. 78-97 ◽

Cited By ~ 8

Author(s):

Krishnendu Chatterjee ◽

Laurent Doyen ◽

Emmanuel Filiot ◽

Jean-François Raskin

Download Full-text