A Model Checking Procedure for Interval Temporal Logics based on Track Representatives. - Alberto Molinari; Angelo Montanari; Adriano Peron (CSL, 2015)

Complexity of ITL Model Checking: Some Well-Behaved Fragments of the Interval Logic HS. - Alberto Molinari; Angelo Montanari; Adriano Peron (TIME, 2015)

Constraining Cycle Alternations in Model Checking for Interval Temporal Logic. - Alberto Molinari; Angelo Montanari; Adriano Peron (ICTCS, 2015)

Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments. - Laura Bozzelli; Alberto Molinari; Angelo Montanari; Adriano Peron; Pietro Sala (IJCAR, 2016)

Interval Temporal Logic Model Checking Based on Track Bisimilarity and Prefix Sampling. - Laura Bozzelli; Alberto Molinari; Angelo Montanari; Adriano Peron; Pietro Sala (ICTCS, 2016)

Model Checking Well-Behaved Fragments of HS: The (Almost) Final Picture. - Alberto Molinari; Angelo Montanari; Adriano Peron; Pietro Sala (KR, 2016)

Checking interval properties of computations. - Alberto Molinari; Angelo Montanari; Aniello Murano; Giuseppe Perelli; Adriano Peron (Acta Informatica, 2016)

Model Checking the Logic of Allen's Relations Meets and Started-by is PNP-Complete. - Laura Bozzelli; Alberto Molinari; Angelo Montanari; Adriano Peron; Pietro Sala (GandALF, 2016)

An In-Depth Investigation of Interval Temporal Logic Model Checking with Regular Expressions. - Laura Bozzelli; Alberto Molinari; Angelo Montanari; Adriano Peron (SEFM, 2017)

On the Complexity of Model Checking for Syntactically Maximal Fragments of the Interval Temporal Logic HS with Regular Expressions. - Laura Bozzelli; Alberto Molinari; Angelo Montanari; Adriano Peron (GandALF, 2017)

Timeline-Based Planning over Dense Temporal Domains with Trigger-less Rules is NP-Complete. - Laura Bozzelli; Alberto Molinari; Angelo Montanari; Adriano Peron; Gerhard J. Woeginger (ICTCS, 2018)

Decidability and Complexity of Timeline-Based Planning over Dense Temporal Domains. - Laura Bozzelli; Alberto Molinari; Angelo Montanari; Adriano Peron (KR, 2018)

Complexity of Timeline-Based Planning over Dense Temporal Domains: Exploring the Middle Ground. - Laura Bozzelli; Alberto Molinari; Angelo Montanari; Adriano Peron (GandALF, 2018)

Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy. - Laura Bozzelli; Alberto Molinari; Angelo Montanari; Adriano Peron; Pietro Sala (Inf. Comput., 2018)

Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives. - Alberto Molinari; Angelo Montanari; Adriano Peron (Inf. Comput., 2018)

Model Checking Timeline-Based Systems over Dense Temporal Domains. - Laura Bozzelli; Alberto Molinari; Angelo Montanari; Adriano Peron (ICTCS, 2019)

Model checking: the interval way. - Alberto Molinari (CoRR, 2019)

Which fragments of the interval temporal logic HS are tractable in model checking? - Laura Bozzelli; Alberto Molinari; Angelo Montanari; Adriano Peron; Pietro Sala (Theor. Comput. Sci., 2019)

Interval vs. Point Temporal Logic Model Checking: An Expressiveness Comparison. - Laura Bozzelli; Alberto Molinari; Angelo Montanari; Adriano Peron; Pietro Sala (ACM Trans. Comput. Log., 2019)

Undecidability of Future Timeline-based Planning over Dense Temporal Domains? - Laura Bozzelli; Alberto Molinari; Angelo Montanari; Adriano Peron (ICTCS, 2020)

Model checking interval temporal logics with regular expressions. - Laura Bozzelli; Alberto Molinari; Angelo Montanari; Adriano Peron (Inf. Comput., 2020)

Timeline-based planning over dense temporal domains. - Laura Bozzelli; Alberto Molinari; Angelo Montanari; Adriano Peron; Gerhard J. Woeginger (Theor. Comput. Sci., 2020)

Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption. - Laura Bozzelli; Alberto Molinari; Angelo Montanari; Adriano Peron; Pietro Sala (Log. Methods Comput. Sci., 2022)