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
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.
A Quantitative Extension of Interval Temporal Logic over Infinite Words
2022 Bozzelli, L.; Peron, A.
Parametric Interval Temporal Logic over Infinite Words
2022 Bozzelli, L.; Peron, A.
Context-free timed formalisms: Robust automata and linear temporal logics
2022 Bozzelli, L.; Murano, A.; Peron, A.
Expressiveness and Decidability of Temporal Logics for Asynchronous Hyperproperties
2022 Bozzelli, L.; Peron, A.; Sanchez, C.
Pspace-completeness of the temporal logic of sub-intervals and suffixes
2021 Bozzelli, L.; Montanari, A.; Peron, A.; Sala, P.
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.
Complexity analysis of a unifying algorithm for model checking interval temporal logic
2021 Bozzelli, L.; Montanari, A.; Peron, A.
Alternating-time temporal logics with linear past
2020 Bozzelli, L.; Murano, A.; Sorrentino, L.
Model checking interval temporal logics with regular expressions
2020 Bozzelli, L.; Molinari, A.; Montanari, A.; Peron, A.
Hierarchical cost-parity games
2020 Bozzelli, L.; Murano, A.; Perelli, G.; Sorrentino, L.
Module Checking of Pushdown Multi-agent Systems
2020 Bozzelli, Laura; Murano, Aniello; Peron, Adriano
Timeline-based planning over dense temporal domains
2020 Bozzelli, L.; Molinari, A.; Montanari, A.; Peron, A.; Woeginger, G.
Undecidability of future timeline-based planning over dense temporal domains
2020 Bozzelli, L.; Molinari, A.; Montanari, A.; Peron, A.
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 | |
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. | |
A Quantitative Extension of Interval Temporal Logic over Infinite Words | 4.1 Articoli in Atti di convegno | 2022 | Bozzelli, L.; Peron, A. | |
Parametric Interval Temporal Logic over Infinite Words | 4.1 Articoli in Atti di convegno | 2022 | Bozzelli, L.; Peron, A. | |
Context-free timed formalisms: Robust automata and linear temporal logics | 1.1 Articolo in rivista | 2022 | Bozzelli, L.; Murano, A.; 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. | |
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. | |
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. | |
Complexity analysis of a unifying algorithm for model checking interval temporal logic | 1.1 Articolo in rivista | 2021 | Bozzelli, L.; Montanari, A.; Peron, A. | |
Alternating-time temporal logics with linear past | 1.1 Articolo in rivista | 2020 | Bozzelli, L.; Murano, A.; Sorrentino, L. | |
Model checking interval temporal logics with regular expressions | 1.1 Articolo in rivista | 2020 | Bozzelli, L.; Molinari, A.; Montanari, A.; Peron, A. | |
Hierarchical cost-parity games | 1.1 Articolo in rivista | 2020 | Bozzelli, L.; Murano, A.; Perelli, G.; Sorrentino, L. | |
Module Checking of Pushdown Multi-agent Systems | 4.1 Articoli in Atti di convegno | 2020 | Bozzelli, Laura; Murano, Aniello; Peron, Adriano | |
Timeline-based planning over dense temporal domains | 1.1 Articolo in rivista | 2020 | Bozzelli, L.; Molinari, A.; Montanari, A.; Peron, A.; Woeginger, G. | |
Undecidability of future timeline-based planning over dense temporal domains | 4.1 Articoli in Atti di convegno | 2020 | Bozzelli, L.; Molinari, A.; Montanari, A.; Peron, A. |
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