research
∙
04/22/2023
The Logic of Prefixes and Suffixes is Elementary under Homogeneity
In this paper, we study the finite satisfiability problem for the logic ...
share
research
∙
02/10/2023
AIOSA: An approach to the automatic identification of obstructive sleep apnea events based on deep learning
Obstructive Sleep Apnea Syndrome (OSAS) is the most common sleep-related...
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
∙
03/12/2022
A combined approach to the analysis of speech conversations in a contact center domain
The ever more accurate search for deep analysis in customer data is a re...
research
∙
09/17/2021
Adding the Relation Meets to the Temporal Logic of Prefixes and Infixes makes it EXPSPACE-Complete
The choice of the right trade-off between expressiveness and complexity ...
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
∙
06/08/2020
Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption
The expressive power of interval temporal logics (ITLs) makes them reall...
research
∙
09/10/2018
Complexity of Timeline-Based Planning over Dense Temporal Domains: Exploring the Middle Ground
In this paper, we address complexity issues for timeline-based planning ...
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
A game-theoretic approach to timeline-based planning with uncertainty
In timeline-based planning, domains are described as sets of independent...
research
∙
11/22/2017
Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison
In the last years, model checking with interval temporal logics is emerg...
research
∙
09/07/2017
Beyond ωBS-regular Languages: ωT-regular Expressions and Counter-Check Automata
In the last years, various extensions of ω-regular languages have been p...
research
∙
09/07/2017
On the Complexity of Model Checking for Syntactically Maximal Fragments of the Interval Temporal Logic HS with Regular Expressions
In this paper, we investigate the model checking (MC) problem for Halper...
research
∙
09/06/2017