IRIS

MOLINARI, ALBERTO

MOLINARI, ALBERTO  

Università degli Studi di UDINE  

Mostra records
Risultati 1 - 20 di 22 (tempo di esecuzione: 0.05 secondi).
Titolo Data di pubblicazione Autore(i) File
A Model Checking Procedure for Interval Temporal Logics based on Track Representatives 1-gen-2015 Molinari, Alberto; Montanari, Angelo; Adriano, Peron
An in-depth investigation of interval temporal logic model checking with regular expressions 1-gen-2017 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano
Checking interval properties of computations 1-gen-2016 Molinari, Alberto; Montanari, Angelo; Murano, Aniello; Perelli, Giuseppe; Peron, Adriano
Complexity of ITL model checking: some well-behaved fragments of the interval logic HS 1-gen-2015 Molinari, Alberto; Montanari, Angelo; Peron, Adriano
Complexity of Timeline-Based Planning over Dense Temporal Domains: Exploring the Middle Ground 1-gen-2018 Laura, Bozzelli; Molinari, Alberto; Montanari, Angelo; Adriano, Peron
Constraining Cycle Alternations in Model Checking for Interval Temporal Logic 1-gen-2016 Molinari, Alberto; Montanari, Angelo; Peron, Adriano
Interval Temporal Logic Model Checking Based on Track Bisimilarity and Prefix Sampling 1-gen-2016 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
Interval temporal logic model checking: The border between good and bad HS fragments 1-gen-2016 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison 1-gen-2019 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison 1-gen-2016 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives 1-gen-2018 Molinari, Alberto; Montanari, Angelo; Peron, Adriano
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 Interval Temporal Logics with Regular Expressions 1-gen-2018 Bozzelli, L.; Molinari, A.; Montanari, A.; Peron, A.
Model Checking the Logic of Allen's Relations Meets and Started-by is P^NP-Complete 1-gen-2016 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
Model Checking Timeline-based Systems over Dense Temporal Domains 1-gen-2019 Bozzelli, L.; Molinari, A.; Montanari, A.; Peron, A.
Model Checking Well-Behaved Fragments of HS: The (Almost) Final Picture 1-gen-2016 Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
Model Checking: il Metodo Intervallare 28-feb-2019 Molinari, Alberto
On the complexity of model checking for syntactically maximal fragments of the interval temporal logic hs with regular expressions 1-gen-2017 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano
Satisfiability and model checking for the logic of sub-intervals under the homogeneity assumption 1-gen-2017 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
Timeline-based planning over dense temporal domains 1-gen-2020 Bozzelli, L.; Molinari, A.; Montanari, A.; Peron, A.; Woeginger, G.