5 citations · 11 across the 7 of their papers we have counts for
1 paper · 1 filter
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…