Bozzelli, Laura
Bozzelli, Laura
SCIENZE E TECNOLOGIE DELL'INFORMAZIONE
A Quantitative Extension of Interval Temporal Logic over Infinite Words
2022-01-01 Bozzelli, L.; Peron, A.
Adding the relation meets to the temporal logic of prefixes and infixes makes It EXPSPACEL-complete
2021-01-01 Bozzelli, L.; Montanari, A.; Sala, P.; Peron, A.
Alternating Automata and a Temporal Fixpoint Calculus for Visibly Pushdown Languages
2007-01-01 Bozzelli, L
Alternating-time temporal logics with linear past
2020-01-01 Bozzelli, L.; Murano, A.; Sorrentino, L.
An In-Depth Investigation of Interval Temporal Logic Model Checking with Regular Expressions
2017-01-01 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano
Asynchronous Extensions of HyperLTL
2021-01-01 Bozzelli, L.; Peron, A.; Sanchez, C.
Automata-Theoretic Characterisations of Branching-Time Temporal Logics
2024-01-01 Benerecetti, Massimo; Bozzelli, Laura; Mogavero, Fabio; Peron, Adriano
Branching-Time Temporal Logic Extended with Qualitative Presburger Constraints
2006-01-01 Bozzelli, L; Régis, Gascon
Branching-time temporal logic extended with qualitative presburger constraints
2006-01-01 Bozzelli, L.; Gascon, R.
CaRet With Forgettable Past
2009-01-01 Bozzelli, L
Complexity analysis of a unifying algorithm for model checking interval temporal logic
2021-01-01 Bozzelli, L.; Montanari, A.; Peron, A.
Complexity analysis of a unifying algorithm for model checking interval temporal logic
2019-01-01 Bozzelli, L.; Montanari, A.; Peron, A.
Complexity Analysis of the Backward Coverability Algorithm for VASS
2011-01-01 Bozzelli, L; Pierre, Ganty
Complexity and Succinctness Issues for Linear-Time Hybrid Logics
2008-01-01 Bozzelli, L; Ruggero, Lanotte
Complexity and succinctness issues for linear-time hybrid logics
2010-01-01 Bozzelli, L; Ruggero, Lanotte
Complexity issues for timeline-based planning over dense time under future and minimal semantics
2022-01-01 Bozzelli, L.; Montanari, A.; Peron, A.
Complexity of timeline-based planning over dense temporal domains: Exploring the middle ground
2018-01-01 Bozzelli, Laura; Peron, Adriano; Molinari, Alberto; Montanari, Angelo
Complexity results on branching-time pushdown model checking
2006-01-01 Bozzelli, L.
Complexity Results on Branching-Time Pushdown Model Checking
2006-01-01 Bozzelli, L
Complexity results on branching-time pushdown model checking
2007-01-01 Bozzelli, L