ppLTLTT : Temporal Testing for Pure-Past Linear Temporal Logic Formulae.

Shaun Azzopardi, David Lidell, Nir Piterman, Gerardo Schneider

Browse the full ATVA paper archive.