A Singly Exponential Transformation of LTL[X, F] into Pure Past LTL.

Alessandro Artale, Luca Geatti, Nicola Gigante, Andrea Mazzullo, Angelo Montanari

Browse the full KR paper archive.