My PhD thesis (defended on February 28, 2019) is available here.
Journal Articles
2019
Bozzelli L., Molinari A., Montanari A., Peron A., Woeginger G., "Timeline-based planning over dense temporal domains", Theoretical Computer Science, Elsevier, 2019. (DOI 10.1016/j.tcs.2019.12.030) URL
Bozzelli L., Molinari A., Montanari A., Peron A., Sala P., "Which Fragments of the Interval Temporal Logic HS are Tractable in Model Checking?", Theoretical Computer Science, Elsevier, 2019, pp. 125-144. (DOI 10.1016/j.tcs.2018.04.011) URL, Auth's vers. URL
Bozzelli L., Molinari A., Montanari A., Peron A., Sala P., "Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison", Transactions on Computational Logic, ACM, 2019, pp. 4:1-4:31. (DOI 10.1145/3281028) URL, Auth's vers. @ arXiv.org
Bozzelli L., Molinari A., Montanari A., Peron A. "Model Checking Interval Temporal Logics with Regular Expressions", Information and Computation, Elsevier, 2018. (DOI 10.1016/j.ic.2019.104498) URL, Auth's vers. URL
2018
Bozzelli L., Molinari A., Montanari A., Peron A., Sala P., "Model Checking for Fragments of the Interval Temporal Logic HS at the Low Levels of the Polynomial Time Hierarchy", Information and Computation, Elsevier, 2018, pp. 241-264. (DOI 10.1016/j.ic.2018.09.006) URL, Auth's vers. URL
2017
Molinari A., Montanari A., Peron A., "Model Checking for Fragments of Halpern and Shoham's Interval Temporal Logic Based on Track Representatives", Information and Computation, Elsevier, 2017, pp. 412-443. (DOI 10.1016/j.ic.2017.08.011) URL, Auth's vers. @ arXiv.org
2016
Molinari A., Montanari A., Murano A., Perelli G., Peron A., "Checking Interval Properties of Computations", Acta Informatica, Springer, 2016, pp. 587-619. (DOI 10.1007/s00236-015-0250-1) URL, Auth's vers. @ arXiv.org
Conference Papers
2019
Bozzelli L., Molinari A., Montanari A., Peron A., "Model Checking Timeline-Based Systems over Dense Temporal Domains", Proceedings of the 20th Italian Conference on Theoretical Computer Science (ICTCS), Como, Italy, September 2019. URL
2018
Bozzelli L., Molinari A., Montanari A., Peron A., "Decidability and Complexity of Timeline-based Planning over Dense Temporal Domains". Proceedings of the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR), Tempe, Arizona, USA, October 2018. URL, Full version URL
Bozzelli L., Molinari A., Montanari A., Peron A., "Complexity of timeline-based planning over dense temporal domains: exploring the middle ground". Proceedings of the 9th International Symposium on Games, Automata, Logics, and Formal Verification (GandALF), Saarbrücken, Germany, September 2018, pp 191-205. (DOI 10.4204/EPTCS.277.14) URL
Bozzelli L., Molinari A., Montanari A., Peron A., Woeginger G., "Timeline-Based Planning over Dense Temporal Domains with Trigger-less Rules is NP-Complete", Proceedings of the 19th Italian Conference on Theoretical Computer Science (ICTCS), Urbino, Italy, September 2018, pp. 116-127. URL
2017
Bozzelli L., Molinari A., Montanari A., Peron A., "On the Complexity of Model Checking for Syntactically Maximal Fragments of the Interval Temporal Logic HS with Regular Expressions". Proceedings of the 8th International Symposium on Games, Automata, Logics and Formal Verification (GandALF), Rome, Italy, September 2017, pp 31-45. (DOI 10.4204/EPTCS.256.3) URL
Bozzelli L., Molinari A., Montanari A., Peron A., "An in-Depth Investigation of Interval Temporal Logic Model Checking with Regular Expressions". Proceedings of the 15th International Conference on Software Engineering and Formal Methods (SEFM), Trento, Italy, September 2017, pp 104-119. (DOI 10.1007/978-3-319-66197-1_7) URL, Auth's vers. URL
Bozzelli L., Molinari A., Montanari A., Peron A., Sala P., "Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption", Proceedings of the 44th International Colloquium on Automata, Languages and Programming (ICALP), Warsaw, Poland, July 2017. (DOI 10.4230/LIPIcs.ICALP.2017.120) URL
2016
Bozzelli L., Molinari A., Montanari A., Peron A., Sala P., "Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison". Proceedings of the 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS), Chennai, India, December 2016. (DOI 10.4230/LIPIcs.FSTTCS.2016.26) URL
Bozzelli L., Molinari A., Montanari A., Peron A., Sala P., "Model Checking the Logic of Allen's Relations Meets and Started-by is Pᴺᴾ-Complete". Proceedings of the 7th International Symposium on Games, Automata, Logics and Formal Verification (GandALF), Catania, Italy, September 2016, pp. 76-90. (DOI 10.4204/EPTCS.226.6) URL, URL
Bozzelli L., Molinari A., Montanari A., Peron A., Sala P., "Interval Temporal Logic Model Checking Based on Track Bisimilarity and Prefix Sampling". Proceedings of the 17th Italian Conference on Theoretical Computer Science (ICTCS), Lecce, Italy, September 2016, pp. 49-61. URL
Molinari A., Montanari A., Peron A., Sala P., "Model Checking Well-Behaved Fragments of HS: the (Almost) Final Picture". Proceedings of the 15th International Conference on Principles of Knowledge Representation and Reasoning (KR), Cape Town, South Africa, April 2016, pp. 473-483. URL
Bozzelli L., Molinari A., Montanari A., Peron A., Sala P., "Interval Temporal Logic Model Checking: the Border Between Good and Bad HS Fragments". Proceedings of the International Joint Conference on Automated Reasoning (IJCAR), Coimbra, Portugal, June/July 2016, pp. 389-405. (DOI 10.1007/978-3-319-40229-1_27) URL, Auth's vers. URL
2015
Molinari A., Montanari A., Peron A., "Complexity of ITL model checking: some well- behaved fragments of the interval logic HS". Proceedings of the 22nd International Symposium on Temporal Representation and Reasoning (TIME), Kassel, Germany, September 2015, pp. 90-100. (DOI 10.1109/TIME.2015.12) URL, Auth's vers. @ arXiv.org
Molinari A., Montanari A., Peron A., "Constraining cycle alternations in model checking for interval temporal logic". Proceedings of the 16th Italian Conference on Theoretical Computer Science (ICTCS), Florence, Italy, September 2015, pp. 211-226. (DOI 10.1016/j.entcs.2016.03.015) URL, Auth's vers. URL, Auth's vers. URL
Molinari A., Montanari A., Peron A., "A Model Checking Procedure for Interval Temporal Logics based on Track Representatives". Proceedings of the 24th EACSL Annual Conference on Computer Science Logic (CSL), Berlin, Germany, September 2015, pp. 193-210. (DOI 10.4230/LIPIcs.CSL.2015.193) URL