The Rabin Index and Chain Automata, with Applications to Automatas and Games.

Sriram C. Krishnan, Anuj Puri, Robert K. Brayton, Pravin Varaiya

Browse the full CAV paper archive.