Checking interval properties of computations A Molinari, A Montanari, A Murano, G Perelli, A Peron Acta Informatica 53, 587-619, 2016 | 51 | 2016 |
Interval vs. point temporal logic model checking: an expressiveness comparison L Bozzelli, A Molinari, A Montanari, A Peron, P Sala LIPIcs-Leibniz International Proceedings in Informatics 65, 2016 | 39 | 2016 |
Interval temporal logic model checking: The border between good and bad HS fragments L Bozzelli, A Molinari, A Montanari, A Peron, P Sala Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra …, 2016 | 24 | 2016 |
A model checking procedure for interval temporal logics based on track representatives A Molinari, A Montanari, A Peron 24th EACSL Annual Conference on Computer Science Logic (CSL 2015), 2015 | 23 | 2015 |
Complexity of ITL model checking: some well-behaved fragments of the interval logic HS A Molinari, A Montanari, A Peron 2015 22nd International Symposium on Temporal Representation and Reasoning …, 2015 | 20 | 2015 |
Model checking well-behaved fragments of HS: the (almost) final picture A Molinari, A Montanari, A Peron, P Sala Fifteenth International Conference on the Principles of Knowledge …, 2016 | 19 | 2016 |
Which fragments of the interval temporal logic HS are tractable in model checking? L Bozzelli, A Molinari, A Montanari, A Peron, P Sala Theoretical Computer Science 764, 125-144, 2019 | 18 | 2019 |
On the Complexity of Model Checking for Syntactically Maximal Fragments of the Interval Temporal Logic HS with Regular Expressions L Bozzelli, A Molinari, A Montanari, A Peron arXiv preprint arXiv:1709.02094, 2017 | 17 | 2017 |
Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy L Bozzelli, A Molinari, A Montanari, A Peron, P Sala Information and Computation 262, 241-264, 2018 | 16 | 2018 |
Satisfiability and model checking for the logic of sub-intervals under the homogeneity assumption L Bozzelli, A Molinari, A Montanari, A Peron, P Sala 44th International Colloquium on Automata, Languages, and Programming (ICALP …, 2017 | 16 | 2017 |
Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives A Molinari, A Montanari, A Peron Information and Computation 259, 412-443, 2018 | 14 | 2018 |
Decidability and Complexity of Timeline-based Planning over Dense Temporal Domains L Bozzelli, A Molinari, A Montanari, A Peron Sixteenth International Conference on Principles of Knowledge Representation …, 2018 | 11 | 2018 |
An in-depth investigation of interval temporal logic model checking with regular expressions L Bozzelli, A Molinari, A Montanari, A Peron Software Engineering and Formal Methods: 15th International Conference, SEFM …, 2017 | 10 | 2017 |
Model Checking the Logic of Allen's Relations Meets and Started-by is -Complete L Bozzelli, A Molinari, A Montanari, A Peron, P Sala arXiv preprint arXiv:1609.04090, 2016 | 10 | 2016 |
Model checking interval temporal logics with regular expressions L Bozzelli, A Molinari, A Montanari, A Peron Information and Computation 272, 104498, 2020 | 9 | 2020 |
Complexity of Timeline-Based Planning over Dense Temporal Domains: Exploring the Middle Ground L Bozzelli, A Molinari, A Montanari, A Peron arXiv preprint arXiv:1809.03103, 2018 | 8 | 2018 |
Timeline-Based Planning over Dense Temporal Domains with Trigger-less Rules is NP-Complete. L Bozzelli, A Molinari, A Montanari, A Peron, GJ Woeginger ICTCS, 116-127, 2018 | 7 | 2018 |
Timeline-based planning over dense temporal domains L Bozzelli, A Molinari, A Montanari, A Peron, G Woeginger Theoretical Computer Science 813, 305-326, 2020 | 6 | 2020 |
Model checking: the interval way A Molinari arXiv preprint arXiv:1901.03880, 2019 | 6 | 2019 |
Interval Temporal Logic Model Checking Based on Track Bisimilarity and Prefix Sampling. L Bozzelli, A Molinari, A Montanari, A Peron, P Sala ICTCS 1720, 49-61, 2016 | 2 | 2016 |