On-the-fly Emptiness Check of Transition-Based Streett Automata.

Alexandre Duret-Lutz Denis Poitrenaud Jean-Michel Couvreur On-the-fly Emptiness Check of Transition-Based Streett Automata. 213-227 2009 ATVA http://dx.doi.org/10.1007/978-3-642-04761-9_17 conf/atva/2009 db/conf/atva/atva2009.html#Duret-LutzPC09