37 citations · 116 across the 18 of their papers we have counts for
4 papers · 1 filter
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…