Finding Shortest Witnesses to the Nonemptiness of Automata on Infinite Words.

Orna Kupferman, Sarai Sheinvald-Faragy

Browse the full CONCUR paper archive.