The Complementation Problem for Bchi Automata with Applications to Temporal Logic (Extended Abstract).

A. Prasad Sistla, Moshe Y. Vardi, Pierre Wolper

Browse the full ICALP paper archive.