5 citations · 23 across the 18 of their papers we have counts for
4 papers · 1 filter
Synthesis of Timeline-Based Planning Strategies Avoiding Determinization
Renato Acampora, Dario Della Monica, Luca Geatti +3
Qualitative timeline-based planning models domains as sets of independent, but interacting, components whose behaviors over time, the timelines, are governed by sets of qualitative…
A General Automata Model for First-Order Temporal Logics (Extended Version)
Luca Geatti, Alessandro Gianola, Nicola Gigante
First-order linear temporal logic (FOLTL) is a flexible and expressive formalism capable of naturally describing complex behaviors and properties. Although the logic is in general…
SMT-based Symbolic Model-Checking for Operator Precedence Languages
Michele Chiari, Luca Geatti, Nicola Gigante +1
Operator Precedence Languages (OPL) have been recently identified as a suitable formalism for model checking recursive procedural programs, thanks to their ability of modeling the…
Succinctness of Cosafety Fragments of LTL via Combinatorial Proof Systems (extended version)
Luca Geatti, Alessio Mansutti, Angelo Montanari
This paper focuses on succinctness results for fragments of Linear Temporal Logic with Past (LTL) devoid of binary temporal operators like until, and provides methods to establish…