Sfoglia per Autore
On the Complexity of Model Checking Knowledge and Time
2024 Bozzelli, L.; Maubert, B.; Murano, A.
PSPACE-completeness of the temporal logic of sub-intervals and suffixes
2023 Bozzelli, L.; Montanari, A.; Peron, A.; Sala, P.
Interval Temporal Logic for Visibly Pushdown Systems
2023 Bozzelli, L.; Montanari, A.; Peron, A.
Quantifying Over Trees in Monadic Second-Order Logic
2023 Benerecetti, Massimo; Bozzelli, Laura; Mogavero, Fabio; Peron, Adriano
A Quantitative Extension of Interval Temporal Logic over Infinite Words
2022 Bozzelli, L.; Peron, A.
Expressiveness and Decidability of Temporal Logics for Asynchronous Hyperproperties
2022 Bozzelli, L.; Peron, A.; Sanchez, C.
Parametric Interval Temporal Logic over Infinite Words
2022 Bozzelli, L.; Peron, A.
SATISFIABILITY AND MODEL CHECKING FOR THE LOGIC OF SUB-INTERVALS UNDER THE HOMOGENEITY ASSUMPTION
2022 Bozzelli, L.; Molinari, A.; Montanari, A.; Peron, A.; Sala, P.
Complexity issues for timeline-based planning over dense time under future and minimal semantics
2022 Bozzelli, L.; Montanari, A.; Peron, A.
Context-free timed formalisms: Robust automata and linear temporal logics
2022 Bozzelli, L.; Murano, A.; Peron, A.
Pspace-completeness of the temporal logic of sub-intervals and suffixes
2021 Bozzelli, L.; Montanari, A.; Peron, A.; Sala, P.
Complexity analysis of a unifying algorithm for model checking interval temporal logic
2021 Bozzelli, L.; Montanari, A.; Peron, A.
Asynchronous Extensions of HyperLTL
2021 Bozzelli, L.; Peron, A.; Sanchez, C.
Adding the relation meets to the temporal logic of prefixes and infixes makes It EXPSPACEL-complete
2021 Bozzelli, L.; Montanari, A.; Sala, P.; Peron, A.
On a temporal logic of prefixes and infixes
2020 Bozzelli, L.; Montanari, A.; Peron, A.; Sala, P.
Model checking interval temporal logics with regular expressions
2020 Bozzelli, L.; Molinari, A.; Montanari, A.; Peron, A.
Timeline-based planning over dense temporal domains
2020 Bozzelli, L.; Molinari, A.; Montanari, A.; Peron, A.; Woeginger, G.
Module Checking of Pushdown Multi-agent Systems
2020 Bozzelli, Laura; Murano, Aniello; Peron, Adriano
Alternating-time temporal logics with linear past
2020 Bozzelli, L.; Murano, A.; Sorrentino, L.
Hierarchical cost-parity games
2020 Bozzelli, L.; Murano, A.; Perelli, G.; Sorrentino, L.
| Titolo | Tipologia | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|---|
| On the Complexity of Model Checking Knowledge and Time | 1.1 Articolo in rivista | 2024 | Bozzelli, L.; Maubert, B.; Murano, A. | |
| PSPACE-completeness of the temporal logic of sub-intervals and suffixes | 1.1 Articolo in rivista | 2023 | Bozzelli, L.; Montanari, A.; Peron, A.; Sala, P. | |
| Interval Temporal Logic for Visibly Pushdown Systems | 1.1 Articolo in rivista | 2023 | Bozzelli, L.; Montanari, A.; Peron, A. | |
| Quantifying Over Trees in Monadic Second-Order Logic | 4.1 Articoli in Atti di convegno | 2023 | Benerecetti, Massimo; Bozzelli, Laura; Mogavero, Fabio; Peron, Adriano | |
| A Quantitative Extension of Interval Temporal Logic over Infinite Words | 4.1 Articoli in Atti di convegno | 2022 | Bozzelli, L.; Peron, A. | |
| Expressiveness and Decidability of Temporal Logics for Asynchronous Hyperproperties | 4.1 Articoli in Atti di convegno | 2022 | Bozzelli, L.; Peron, A.; Sanchez, C. | |
| Parametric Interval Temporal Logic over Infinite Words | 4.1 Articoli in Atti di convegno | 2022 | Bozzelli, L.; Peron, A. | |
| SATISFIABILITY AND MODEL CHECKING FOR THE LOGIC OF SUB-INTERVALS UNDER THE HOMOGENEITY ASSUMPTION | 1.1 Articolo in rivista | 2022 | Bozzelli, L.; Molinari, A.; Montanari, A.; Peron, A.; Sala, P. | |
| Complexity issues for timeline-based planning over dense time under future and minimal semantics | 1.1 Articolo in rivista | 2022 | Bozzelli, L.; Montanari, A.; Peron, A. | |
| Context-free timed formalisms: Robust automata and linear temporal logics | 1.1 Articolo in rivista | 2022 | Bozzelli, L.; Murano, A.; Peron, A. | |
| Pspace-completeness of the temporal logic of sub-intervals and suffixes | 4.1 Articoli in Atti di convegno | 2021 | Bozzelli, L.; Montanari, A.; Peron, A.; Sala, P. | |
| Complexity analysis of a unifying algorithm for model checking interval temporal logic | 1.1 Articolo in rivista | 2021 | Bozzelli, L.; Montanari, A.; Peron, A. | |
| Asynchronous Extensions of HyperLTL | 4.1 Articoli in Atti di convegno | 2021 | Bozzelli, L.; Peron, A.; Sanchez, C. | |
| Adding the relation meets to the temporal logic of prefixes and infixes makes It EXPSPACEL-complete | 4.1 Articoli in Atti di convegno | 2021 | Bozzelli, L.; Montanari, A.; Sala, P.; Peron, A. | |
| On a temporal logic of prefixes and infixes | 4.1 Articoli in Atti di convegno | 2020 | Bozzelli, L.; Montanari, A.; Peron, A.; Sala, P. | |
| Model checking interval temporal logics with regular expressions | 1.1 Articolo in rivista | 2020 | Bozzelli, L.; Molinari, A.; Montanari, A.; Peron, A. | |
| Timeline-based planning over dense temporal domains | 1.1 Articolo in rivista | 2020 | Bozzelli, L.; Molinari, A.; Montanari, A.; Peron, A.; Woeginger, G. | |
| Module Checking of Pushdown Multi-agent Systems | 4.1 Articoli in Atti di convegno | 2020 | Bozzelli, Laura; Murano, Aniello; Peron, Adriano | |
| Alternating-time temporal logics with linear past | 1.1 Articolo in rivista | 2020 | Bozzelli, L.; Murano, A.; Sorrentino, L. | |
| Hierarchical cost-parity games | 1.1 Articolo in rivista | 2020 | Bozzelli, L.; Murano, A.; Perelli, G.; Sorrentino, L. |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile