MONTANARI, Angelo

MONTANARI, Angelo  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 19 di 19 (tempo di esecuzione: 0.048 secondi).
Titolo Data di pubblicazione Autore(i) File
A Novel Automata-Theoretic Approach to Timeline-Based Planning 1-gen-2018 Della Monica, Dario; Gigante, Nicola; Montanari, Angelo; Sala, Pietro
Adding the Relation Meets to the Temporal Logic of Prefixes and Infixes makes it EXPSPACE-Complete 1-gen-2021 Bozzelli, Laura; Montanari, Angelo; Peron, Adriano; Sala, Pietro
Adding two equivalence relations to the interval temporal logic AB 1-gen-2014 Montanari, A.; Pazzaglia, M.; Sala, P.
Beyond omega-regular languages: omegaT-regular expressions and their automata and logic counterparts 1-gen-2020 Barozzini, David; de Frutos-Escrig, David; Della Monica, Dario; Montanari, Angelo; Sala, Pietro
Beyond ωBS-regular Languages: ωT-regular Expressions and Counter-Check Automata 1-gen-2017 Della Monica, Dario; Montanari, Angelo; Sala, Pietro
Bounded Timed Propositional Temporal Logic with past captures timeline-based planning with bounded constraints 1-gen-2017 Della Monica, D.; Gigante, Nicola; Montanari, A.; Sala, P.; Sciavicco, G.
Counter-queue automata with an application to a meaningful extension of ω-regular languages 1-gen-2017 Barozzini, D.; Monica, D. D.; Montanari, A.; Sala, P.
Interval temporal logic model checking based on track bisimilarity and prefix sampling 1-gen-2016 Bozzelli, L.; Molinari, A.; Montanari, A.; Peron, Anna; Sala, P.
Interval vs. Point Temporal Logic Model Checking: An Expressiveness Comparison 1-gen-2018 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
Interval vs. point temporal logic model checking: An expressiveness comparison 1-gen-2016 Bozzelli, L.; Molinari, A.; Montanari, A.; Peron, A.; Sala, P.
Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy 1-gen-2018 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
Model Checking Well-Behaved Fragments of {HS:} The (Almost) Final Picture 1-gen-2016 Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
On a Temporal Logic of Prefixes and Infixes 1-gen-2020 Bozzelli, Laura; Montanari, Angelo; Peron, Adriano; Sala, Pietro
Pspace-completeness of the temporal logic of sub-intervals and suffixes 1-gen-2023 Bozzelli, Laura; Montanari, Angelo; Peron, Adriano; Sala, Pietro
Reactive synthesis from interval temporal logic specifications 1-gen-2022 Montanari, Angelo; Sala, Pietro
Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption 1-gen-2022 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
Satisfiability and model checking for the logic of sub-intervals under the homogeneity assumption 1-gen-2017 Bozzelli, L.; Molinari, A.; Montanari, A.; Peron, A.; Sala, P.
The Logic of Prefixes and Suffixes is Elementary under Homogeneity* 1-gen-2023 Monica, Dario Della; Montanari, Angelo; Puppis, Gabriele; Sala, Pietro
Which fragments of the interval temporal logic HS are tractable in model checking? 1-gen-2019 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro