Picture for Nicola Gigante

Nicola Gigante

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

Standpoint Linear Temporal Logic

Add code
Apr 27, 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

Timeline-based planning: Expressiveness and Complexity

Add code
Feb 16, 2019
Figure 1 for Timeline-based planning: Expressiveness and Complexity
Figure 2 for Timeline-based planning: Expressiveness and Complexity
Figure 3 for Timeline-based planning: Expressiveness and Complexity
Figure 4 for Timeline-based planning: Expressiveness and Complexity
Viaarxiv icon

A game-theoretic approach to timeline-based planning with uncertainty

Add code
Jul 12, 2018
Figure 1 for A game-theoretic approach to timeline-based planning with uncertainty
Figure 2 for A game-theoretic approach to timeline-based planning with uncertainty
Figure 3 for A game-theoretic approach to timeline-based planning with uncertainty
Viaarxiv icon