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
∙
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
∙
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
∙
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
∙
06/08/2010