4 citations · 18 across the 17 of their papers we have counts for
Showing 2022 · cs.AIShow all
2 papers · 2 filters
cs.AI2022★ 4 cited
Controller Synthesis for Timeline-based Games
Renato Acampora, Luca Geatti, Nicola Gigante +2
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 tempora…
cs.AI2022★ 2 cited
A first-order logic characterization of safety and co-safety languages
Alessandro Cimatti, Luca Geatti, Nicola Gigante +2
Linear Temporal Logic (LTL) is one of the most popular temporal logics, that comes into play in a variety of branches of computer science. Among the various reasons of its widespre…