37 citations · 116 across the 18 of their papers we have counts for
24 papers
Automata-Theoretic Characterisations of Branching-Time Temporal Logics
Massimo Benerecetti, Laura Bozzelli, Fabio Mogavero +1
Characterisations theorems serve as important tools in model theory and can be used to assess and compare the expressive power of temporal languages used for the specification and…
Quantifying over Trees in Monadic Second-Order Logic
Massimo Benerecetti, Laura Bozzelli, Fabio Mogavero +1
Monadic Second-Order Logic (MSO) extends First-Order Logic (FO) with variables ranging over sets and quantifications over those variables. We introduce and study Monadic Tree Logic…
Parametric Interval Temporal Logic over Infinite Words
Laura Bozzelli, Adriano Peron
Model checking for Halpern and Shoham's interval temporal logic HS has been recently investigated in a systematic way, and it is known to be decidable under three distinct semantic…
A quantitative extension of Interval Temporal Logic over infinite words
Laura Bozzelli, Adriano Peron
Model checking for Halpern and Shoham's interval temporal logic HS has been recently investigated in a systematic way, and it is known to be decidable under three distinct semantic…
Expressiveness and Decidability of Temporal Logics for Asynchronous Hyperproperties
Laura Bozzelli, Adriano Peron, Cesar Sanchez
Hyperproperties are properties of systems that relate different executions traces, with many applications from security to symmetry, consistency models of concurrency, etc. In rece…
The addition of temporal neighborhood makes the logic of prefixes and sub-intervals EXPSPACE-complete
L. Bozzelli, A. Montanari, A. Peron +1
A classic result by Stockmeyer gives a non-elementary lower bound to the emptiness problem for star-free generalized regular expressions. This result is intimately connected to the…