From LTL and Limit-Deterministic Bchi Automata to Deterministic Parity Automata.

Javier Esparza, Jan Kretnsk, Jean-Franois Raskin, Salomon Sickert

Browse the full TACAS paper archive.