On-the-fly Emptiness Checks for Generalized Büchi Automata (2005)

by Jean-michel Couvreur, Alexandre Duret-Lutz, Denis Poitrenaud
Venue:IN PROC. 12TH INTL. SPIN WORKS. ON MODEL CHECKING SOFTWARE, LNCS #1708