IRIS

BOZZELLI, LAURA

BOZZELLI, LAURA  

Dipartimento di Ingegneria elettrica e delle Tecnologie dell'Informazione  

Mostra records
Risultati 1 - 20 di 33 (tempo di esecuzione: 0.023 secondi).
Titolo Tipologia Data di pubblicazione Autore(i) File
Pushdown Module Checking 4.1 Articoli in Atti di convegno 2005 Bozzelli, Laura; Murano, Aniello; Peron, Adriano
Pushdown Module Checking 1.1 Articolo in rivista 2010 Bozzelli, Laura; Murano, Aniello; Peron, Adriano
Hierarchical cost-parity games 4.1 Articoli in Atti di convegno 2017 Bozzelli, Laura; Murano, Aniello; Perelli, Giuseppe; Sorrentino, Loredana
On the complexity of ATL and ATL* module checking 4.1 Articoli in Atti di convegno 2017 Bozzelli, Laura; Murano, Aniello
Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy 1.1 Articolo in rivista 2018 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
Timed context-free temporal logics 4.1 Articoli in Atti di convegno 2018 Bozzelli, Laura; Murano, Aniello; Peron, Adriano
Complexity of timeline-based planning over dense temporal domains: Exploring the middle ground 4.1 Articoli in Atti di convegno 2018 Bozzelli, Laura; Peron, Adriano; Molinari, Alberto; Montanari, Angelo
Event-Clock Nested Automata 4.1 Articoli in Atti di convegno 2018 Bozzelli, Laura; Murano, Aniello; Peron, Adriano
Timeline-based planning over dense temporal domains with trigger-less rules is NP-complete 4.1 Articoli in Atti di convegno 2018 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Woeginger, Gerhard
Which fragments of the interval temporal logic HS are tractable in model checking? 1.1 Articolo in rivista 2019 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
Interval vs. point temporal logic model checking: An expressiveness comparison 1.1 Articolo in rivista 2019 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
On the complexity of model checking for syntactically maximal fragments of the interval temporal logic hs with regular expressions 4.1 Articoli in Atti di convegno 2017 Bozzelli, Laura; Peron, Adriano; Molinari, Eduardo Alberto; Montanari, Angelo
Interval temporal logic model checking based on track bisimilarity and prefix sampling 4.1 Articoli in Atti di convegno 2016 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
Complexity analysis of a unifying algorithm for model checking interval temporal logic 4.1 Articoli in Atti di convegno 2019 Bozzelli, L.; Montanari, A.; Peron, A.
Hierarchical cost-parity games 1.1 Articolo in rivista 2020 Bozzelli, L.; Murano, A.; Perelli, G.; Sorrentino, L.
Timeline-based planning over dense temporal domains 1.1 Articolo in rivista 2020 Bozzelli, L.; Molinari, A.; Montanari, A.; Peron, A.; Woeginger, G.
Model checking interval temporal logics with regular expressions 1.1 Articolo in rivista 2020 Bozzelli, L.; Molinari, A.; Montanari, A.; Peron, A.
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.
On a temporal logic of prefixes and infixes 4.1 Articoli in Atti di convegno 2020 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.