Algorithms for Omega-Regular Games with Imperfect Information

Technical Report PDF: 
Technical Report Number: 
2007.89
TitleAlgorithms for Omega-Regular Games with Imperfect Information
Publication TypeJournal Article
Year of Publication2007
AuthorsRaskin, J-F, Chatterjee K, Doyen L, Henzinger TA
JournalLogical Methods in Computer Science
Volume3