no code implementations • 31 Jul 2023 • Luca Geatti, Alessandro Gianola, Nicola Gigante, Sarah Winkler
We study Linear Temporal Logic Modulo Theories over Finite Traces (LTLfMT), a recently introduced extension of LTL over finite traces (LTLf) where propositions are replaced by first-order formulas and where first-order variables referring to different time points can be compared.
no code implementations • 23 Jul 2023 • Renato Acampora, Luca Geatti, Nicola Gigante, Angelo Montanari, Valentino Picotti
In the timeline-based approach to planning, the evolution over time of a set of state variables (the timelines) is governed by a set of temporal constraints.
no code implementations • 21 Sep 2022 • Renato Acampora, Luca Geatti, Nicola Gigante, Angelo Montanari, Valentino Picotti
In the timeline-based approach to planning, originally born in the space sector, the evolution over time of a set of state variables (the timelines) is governed by a set of temporal constraints.
no code implementations • 6 Sep 2022 • Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta
Moreover, we prove that, when interpreted over finite words, SafetyLTL (resp.
no code implementations • 28 Apr 2022 • Luca Geatti, Alessandro Gianola, Nicola Gigante
This paper studies Linear Temporal Logic over Finite Traces (LTLf) where proposition letters are replaced with first-order formulas interpreted over arbitrary theories, in the spirit of Satisfiability Modulo Theories.