ppLTLTT : Temporal Testing for Pure-Past Linear Temporal Logic Formulae. - Shaun Azzopardi; David Lidell; Nir Piterman; Gerardo Schneider (ATVA, 2023)

A Direct Translation from LTL with Past to Deterministic Rabin Automata. - Shaun Azzopardi; David Lidell; Nir Piterman (MFCS, 2024)