1 paper
Shaun Azzopardi, David Lidell, Nir Piterman
We present a translation from linear temporal logic with past to deterministic Rabin automata. The translation is direct in the sense that it does not rely on intermediate non-dete…