Simplifying Alternating Automata for Emptiness Testing.

Pavol Vargovck, Luks Holk

Browse the full APLAS paper archive.