MONTANARI, Angelo
MONTANARI, Angelo
DIPARTIMENTO DI INFORMATICA
A Novel Automata-Theoretic Approach to Timeline-Based Planning
2018-01-01 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
2021-01-01 Bozzelli, Laura; Montanari, Angelo; Peron, Adriano; Sala, Pietro
Adding two equivalence relations to the interval temporal logic AB
2014-01-01 Montanari, A.; Pazzaglia, M.; Sala, P.
Beyond omega-regular languages: omegaT-regular expressions and their automata and logic counterparts
2020-01-01 Barozzini, David; de Frutos-Escrig, David; Della Monica, Dario; Montanari, Angelo; Sala, Pietro
Beyond ωBS-regular Languages: ωT-regular Expressions and Counter-Check Automata
2017-01-01 Della Monica, Dario; Montanari, Angelo; Sala, Pietro
Bounded Timed Propositional Temporal Logic with past captures timeline-based planning with bounded constraints
2017-01-01 Della Monica, D.; Gigante, Nicola; Montanari, A.; Sala, P.; Sciavicco, G.
Counter-queue automata with an application to a meaningful extension of ω-regular languages
2017-01-01 Barozzini, D.; Monica, D. D.; Montanari, A.; Sala, P.
Interval temporal logic model checking based on track bisimilarity and prefix sampling
2016-01-01 Bozzelli, L.; Molinari, A.; Montanari, A.; Peron, Anna; Sala, P.
Interval vs. Point Temporal Logic Model Checking: An Expressiveness Comparison
2018-01-01 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
Interval vs. point temporal logic model checking: An expressiveness comparison
2016-01-01 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
2018-01-01 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
Model Checking Well-Behaved Fragments of {HS:} The (Almost) Final Picture
2016-01-01 Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
On a Temporal Logic of Prefixes and Infixes
2020-01-01 Bozzelli, Laura; Montanari, Angelo; Peron, Adriano; Sala, Pietro
Pspace-completeness of the temporal logic of sub-intervals and suffixes
2023-01-01 Bozzelli, Laura; Montanari, Angelo; Peron, Adriano; Sala, Pietro
Reactive synthesis from interval temporal logic specifications
2022-01-01 Montanari, Angelo; Sala, Pietro
Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption
2022-01-01 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
Satisfiability and model checking for the logic of sub-intervals under the homogeneity assumption
2017-01-01 Bozzelli, L.; Molinari, A.; Montanari, A.; Peron, A.; Sala, P.
The Logic of Prefixes and Suffixes is Elementary under Homogeneity*
2023-01-01 Monica, Dario Della; Montanari, Angelo; Puppis, Gabriele; Sala, Pietro
Which fragments of the interval temporal logic HS are tractable in model checking?
2019-01-01 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro