Pure-Past Linear Temporal and Dynamic Logic on Finite Traces.

Giuseppe De Giacomo, Antonio Di Stasio, Francesco Fuggitti, Sasha Rubin

Browse the full IJCAI paper archive.