5 citations · 28 across the 17 of their papers we have counts for
3 papers · 1 filter
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…
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…
Standpoint Linear Temporal Logic
Nicola Gigante, Lucia {Gomez Alvarez}, Tim S. Lyon
Many complex scenarios require the coordination of agents possessing unique points of view and distinct semantic commitments. In response, standpoint logic (SL) was introduced in t…