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
∙
12/21/2022
Reactive Synthesis for DECLARE via symbolic automata
Given a specification of linear-time temporal logic interpreted over fin...
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
∙
09/10/2018