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

Alexandre Duret-Lutz, Denis Poitrenaud, Jean-Michel Couvreur

Browse the full ATVA paper archive.