Martin De Wulf Laurent Doyen Thomas A. Henzinger Jean-François Raskin Antichains: A New Algorithm for Checking Universality of Finite Automata. 17-30 2006 conf/cav/2006 CAV http://dx.doi.org/10.1007/11817963_5 db/conf/cav/cav2006.html#WulfDHR06