research
∙
04/23/2023
Quantifying over Trees in Monadic Second-Order Logic
Monadic Second-Order Logic (MSO) extends First-Order Logic (FO) with var...
share
research
∙
09/21/2022
Parametric Interval Temporal Logic over Infinite Words
Model checking for Halpern and Shoham's interval temporal logic HS has b...
research
∙
07/06/2022
Expressiveness and Decidability of Temporal Logics for Asynchronous Hyperproperties
Hyperproperties are properties of systems that relate different executio...
research
∙
06/28/2022
A quantitative extension of Interval Temporal Logic over infinite words
Model checking for Halpern and Shoham's interval temporal logic HS has b...
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
∙
04/26/2021
Asynchronous Extensions of HyperLTL
Hyperproperties are a modern specification paradigm that extends trace p...
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
∙
03/07/2020
Module checking of pushdown multi-agent systems
In this paper, we investigate the module-checking problem of pushdown mu...
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
∙
08/13/2018
Timed context-free temporal logics (extended version)
The paper is focused on temporal logics for the description of the behav...
research
∙
08/13/2018
Timed context-free temporal logics
The paper is focused on temporal logics for the description of the behav...
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
On the Complexity of ATL and ATL* Module Checking
Module checking has been introduced in late 1990s to verify open systems...
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
∙
02/16/2012