Emptiness of Zero Automata Is Decidable.

Mikolaj Bojanczyk, Hugo Gimbert, Edon Kelmendi

Browse the full ICALP paper archive.