Sfoglia per Autore
A Model Checking Procedure for Interval Temporal Logics based on Track Representatives
2015-01-01 Molinari, Alberto; Montanari, Angelo; Adriano, Peron
Complexity of ITL model checking: some well-behaved fragments of the interval logic HS
2015-01-01 Molinari, Alberto; Montanari, Angelo; Peron, Adriano
Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison
2016-01-01 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
Interval Temporal Logic Model Checking Based on Track Bisimilarity and Prefix Sampling
2016-01-01 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
Model Checking Well-Behaved Fragments of HS: The (Almost) Final Picture
2016-01-01 Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
Interval temporal logic model checking: The border between good and bad HS fragments
2016-01-01 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
Constraining Cycle Alternations in Model Checking for Interval Temporal Logic
2016-01-01 Molinari, Alberto; Montanari, Angelo; Peron, Adriano
Checking interval properties of computations
2016-01-01 Molinari, Alberto; Montanari, Angelo; Murano, Aniello; Perelli, Giuseppe; Peron, Adriano
Model Checking the Logic of Allen's Relations Meets and Started-by is P^NP-Complete
2016-01-01 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
An in-depth investigation of interval temporal logic model checking with regular expressions
2017-01-01 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano
Satisfiability and model checking for the logic of sub-intervals under the homogeneity assumption
2017-01-01 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
On the complexity of model checking for syntactically maximal fragments of the interval temporal logic hs with regular expressions
2017-01-01 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano
Timeline-Based Planning over Dense Temporal Domains with Trigger-less Rules is NP-Complete
2018-01-01 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Woeginger, Gerhard
Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives
2018-01-01 Molinari, Alberto; Montanari, Angelo; Peron, Adriano
Model Checking Interval Temporal Logics with Regular Expressions
2018-01-01 Bozzelli, L.; Molinari, A.; Montanari, A.; Peron, A.
Complexity of Timeline-Based Planning over Dense Temporal Domains: Exploring the Middle Ground
2018-01-01 Laura, Bozzelli; Molinari, Alberto; Montanari, Angelo; Adriano, Peron
Which Fragments of the Interval Temporal Logic HS are Tractable in Model Checking?
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
Model Checking Timeline-based Systems over Dense Temporal Domains
2019-01-01 Bozzelli, L.; Molinari, A.; Montanari, A.; Peron, A.
Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison
2019-01-01 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
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 | |
Complexity of ITL model checking: some well-behaved fragments of the interval logic HS | 1-gen-2015 | 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 | |
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 | |
Constraining Cycle Alternations in Model Checking for Interval Temporal Logic | 1-gen-2016 | Molinari, Alberto; Montanari, Angelo; Peron, Adriano | |
Checking interval properties of computations | 1-gen-2016 | Molinari, Alberto; Montanari, Angelo; Murano, Aniello; Perelli, Giuseppe; Peron, Adriano | |
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 | |
An in-depth investigation of interval temporal logic model checking 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 | |
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 | |
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 | |
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. | |
Complexity of Timeline-Based Planning over Dense Temporal Domains: Exploring the Middle Ground | 1-gen-2018 | Laura, Bozzelli; Molinari, Alberto; Montanari, Angelo; Adriano, Peron | |
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 | |
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 |
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