MOLINARI, Alberto
MOLINARI, Alberto
Mostra
records
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.01 secondi).
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
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 |
|---|---|---|---|
| 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 | |
| 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 |