Reasoning on LTL on Finite Traces: Insensitivity to Infiniteness.

Giuseppe De Giacomo, Riccardo De Masellis, Marco Montali

Browse the full AAAI paper archive.