New Translations From LTL with Past to LDBA and DPA

David Lidell, Nir Piterman

We present asymptotically optimal translations from linear temporal logic with past to limit-deterministic Buchi automata and onwards to deterministic parity automata. In contrast…