Search

• < Previous
• 1
• Next >

---

A first-order logic characterization of safety and co-safety languages

Alessandro Cimatti ; Luca Geatti ; Nicola Gigante ; Angelo Montanari ; Stefano Tonetta.

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 widespread use there are its strong foundational properties: LTL is equivalent to counter-free omega-automata, to star-free&nbsp;[&hellip;]

---

Controller Synthesis for Timeline-based Games

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. Traditional timeline-based planning systems excel at the integration of planning with execution by handling temporal uncertainty. In order to&nbsp;[&hellip;]

---