33 citations · 116 across the 22 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.LO2021★ 4 cited
Adding the Relation Meets to the Temporal Logic of Prefixes and Infixes makes it EXPSPACE-Complete
Laura Bozzelli, Angelo Montanari, Adriano Peron +1
The choice of the right trade-off between expressiveness and complexity is the main issue in interval temporal logic. In their seminal paper, Halpern and Shoham showed that the sat…
cs.LO2021
Asynchronous Extensions of HyperLTL
Laura Bozzelli, Adriano Peron, Cesar Sanchez
Hyperproperties are a modern specification paradigm that extends trace properties to express properties of sets of traces. Temporal logics for hyperproperties studied in the litera…