A Direct Translation from LTL with Past to Deterministic Rabin Automata.

Shaun Azzopardi, David Lidell, Nir Piterman

Browse the full MFCS paper archive.