| No. |
Title |
Author |
Year |
| 1 |
A Quantitative Extension of Interval Temporal Logic over Infinite Words |
Bozzelli, Laura et al. |
2022 |
| 2 |
Expressiveness and Decidability of Temporal Logics for Asynchronous Hyperproperties |
Bozzelli, Laura et al. |
2022 |
| 3 |
Taming Strategy Logic: Non-Recurrent Fragments |
Benerecetti, Massimo et al. |
2022 |
| 4 |
Pspace-Completeness of the Temporal Logic of Sub-Intervals and Suffixes |
Bozzelli, Laura et al. |
2021 |
| 5 |
On a Temporal Logic of Prefixes and Infixes |
Bozzelli, Laura et al. |
2020 |
| 6 |
Complexity Analysis of a Unifying Algorithm for Model Checking Interval Temporal Logic |
Bozzelli, Laura et al. |
2019 |
| 7 |
Interval Temporal Logic for Visibly Pushdown Systems |
Bozzelli, Laura et al. |
2019 |
| 8 |
Taming the Complexity of Timeline-Based Planning over Dense Temporal Domains |
Bozzelli, Laura et al. |
2019 |
| 9 |
Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption |
Bozzelli, Laura et al. |
2017 |
| 10 |
Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison |
Bozzelli, Laura et al. |
2016 |
| 11 |
A Model Checking Procedure for Interval Temporal Logics based on Track Representatives |
Molinari, Alberto et al. |
2015 |
