Antichains: A New Algorithm for Checking Universality of Finite Automata

Technical Report PDF: 
Technical Report Number: 
2006.65
TitleAntichains: A New Algorithm for Checking Universality of Finite Automata
Publication TypeConference Paper
Year of Publication2006
AuthorsDe Wulf, M, Doyen L, Henzinger TA, Raskin J-F
Conference NameCAV