Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 22
Titolo Data di pubblicazione Autore(i) File
Complexity of ITL model checking: some well-behaved fragments of the interval logic HS 1-gen-2015 Molinari, Alberto; Montanari, Angelo; Peron, Adriano
A Model Checking Procedure for Interval Temporal Logics based on Track Representatives 1-gen-2015 Molinari, Alberto; Montanari, Angelo; Adriano, Peron
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
Model Checking Well-Behaved Fragments of HS: The (Almost) Final Picture 1-gen-2016 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
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
Constraining Cycle Alternations in Model Checking for Interval Temporal Logic 1-gen-2016 Molinari, Alberto; Montanari, Angelo; Peron, Adriano
Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison 1-gen-2016 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
Checking interval properties of computations 1-gen-2016 Molinari, Alberto; Montanari, Angelo; Murano, Aniello; Perelli, Giuseppe; Peron, Adriano
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
An in-depth investigation of interval temporal logic model checking with regular expressions 1-gen-2017 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano
Which Fragments of the Interval Temporal Logic HS are Tractable in Model Checking? 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
Timeline-Based Planning over Dense Temporal Domains with Trigger-less Rules is NP-Complete 1-gen-2018 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Woeginger, Gerhard
Complexity of Timeline-Based Planning over Dense Temporal Domains: Exploring the Middle Ground 1-gen-2018 Laura, Bozzelli; Molinari, Alberto; Montanari, Angelo; Adriano, Peron
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 Interval Temporal Logics with Regular Expressions 1-gen-2018 Bozzelli, L.; Molinari, A.; Montanari, A.; Peron, A.
Model Checking Timeline-based Systems over Dense Temporal Domains 1-gen-2019 Bozzelli, L.; Molinari, A.; Montanari, A.; Peron, A.
Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison 1-gen-2019 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
Mostrati risultati da 1 a 20 di 22
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile