MOLINARI, Alberto

MOLINARI, Alberto  

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