5 citations · 23 across the 18 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.AI2023★ 1 cited
Decidable Fragments of LTLf Modulo Theories (Extended Version)
Luca Geatti, Alessandro Gianola, Nicola Gigante +1
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 firs…
cs.AI2023
Controller Synthesis for Timeline-based Games
Renato Acampora, Luca Geatti, Nicola Gigante +2
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. Traditional timeline-b…