research
∙
07/31/2023
Decidable Fragments of LTLf Modulo Theories (Extended Version)
We study Linear Temporal Logic Modulo Theories over Finite Traces (LTLfM...
share
research
∙
04/27/2023
Standpoint Linear Temporal Logic
Many complex scenarios require the coordination of agents possessing uni...
research
∙
11/27/2022
Complexity of Safety and coSafety Fragments of Linear Temporal Logic
Linear Temporal Logic (LTL) is the de-facto standard temporal logic for ...
research
∙
09/21/2022
Controller Synthesis for Timeline-based Games
In the timeline-based approach to planning, originally born in the space...
research
∙
09/06/2022
A first-order logic characterization of safety and co-safety languages
Linear Temporal Logic (LTL) is one of the most popular temporal logics, ...
research
∙
04/28/2022
Linear Temporal Logic Modulo Theories over Finite Traces (Extended Version)
This paper studies Linear Temporal Logic over Finite Traces (LTLf) where...
research
∙
09/17/2021
Expressiveness of Extended Bounded Response LTL
Extended Bounded Response LTL with Past (LTLEBR+P) is a safety fragment ...
research
∙
08/12/2020
Reactive Synthesis from Extended Bounded Response LTL Specifications
Reactive synthesis is a key technique for the design of correct-by-const...
research
∙
02/16/2019
Timeline-based planning: Expressiveness and Complexity
Timeline-based planning is an approach originally developed in the conte...
research
∙
09/10/2018
One-Pass and Tree-Shaped Tableau Systems for TPTL and TPTLb+Past
In this paper, we propose a novel one-pass and tree-shaped tableau metho...
research
∙
07/12/2018