MONTANARI, Angelo
MONTANARI, Angelo
DIPARTIMENTO DI INFORMATICA
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
Interval vs. Point Temporal Logic Model Checking: An Expressiveness Comparison
2018-01-01 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
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
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
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 |
---|---|---|---|
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 | |
Interval vs. Point Temporal Logic Model Checking: An Expressiveness Comparison | 1-gen-2018 | Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro | |
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 | |
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 | |
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 |