Antichains: A New Algorithm for Checking Universality of Finite Automata.

Martin De Wulf, Laurent Doyen, Thomas A. Henzinger, Jean-Franois Raskin

Browse the full CAV paper archive.