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 ω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
2016-01-01 Bozzelli, L.; Molinari, A.; Montanari, A.; Peron, A.; Sala, P.
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
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