LTL over Finite Words Can Be Exponentially More Succinct Than Pure-Past LTL, and vice versa.

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

Browse the full TIME paper archive.