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.
Synthesis of Timeline-Based Planning Strategies Avoiding Determinization
2024-01-01 Acampora, Renato; Della Monica, Dario; Geatti, Luca; Gigante, Nicola; Montanari, Angelo; Sala, Pietro
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
| 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. | |
| Synthesis of Timeline-Based Planning Strategies Avoiding Determinization | 1-gen-2024 | Acampora, Renato; Della Monica, Dario; Geatti, Luca; Gigante, Nicola; Montanari, Angelo; Sala, Pietro | |
| 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 |