Picture for Luca Geatti

Luca Geatti

Decidable Fragments of LTLf Modulo Theories (Extended Version)

Add code
Jul 31, 2023
Viaarxiv icon

Controller Synthesis for Timeline-based Games

Add code
Jul 23, 2023
Viaarxiv icon

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

Add code
Sep 19, 2022
Viaarxiv icon

Linear Temporal Logic Modulo Theories over Finite Traces (Extended Version)

Add code
Apr 28, 2022
Figure 1 for Linear Temporal Logic Modulo Theories over Finite Traces (Extended Version)
Figure 2 for Linear Temporal Logic Modulo Theories over Finite Traces (Extended Version)
Figure 3 for Linear Temporal Logic Modulo Theories over Finite Traces (Extended Version)
Viaarxiv icon