Alberto Molinari

According to our database, Alberto Molinari authored at least 23 papers between 2015 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2022

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

2020

Timeline-based planning over dense temporal domains.

Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Gerhard J. Woeginger

Theor. Comput. Sci., 2020

Model checking interval temporal logics with regular expressions.

Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron

Inf. Comput., 2020

Undecidability of Future Timeline-based Planning over Dense Temporal Domains?

Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron

Proceedings of the 21st Italian Conference on Theoretical Computer Science, 2020

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

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

Model checking: the interval way.

Alberto Molinari

CoRR, 2019

Model Checking Timeline-Based Systems over Dense Temporal Domains.

Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron

Proceedings of the 20th Italian Conference on Theoretical Computer Science, 2019

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 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

Complexity of Timeline-Based Planning over Dense Temporal Domains: Exploring the Middle Ground.

Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron

Proceedings of the Proceedings Ninth International Symposium on Games, 2018

Decidability and Complexity of Timeline-Based Planning over Dense Temporal Domains.

Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

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

Proceedings of the 19th Italian Conference on Theoretical Computer Science, 2018

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

Proceedings of the Proceedings Eighth International Symposium on Games, 2017

An In-Depth Investigation of Interval Temporal Logic Model Checking with Regular Expressions.

Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron

Proceedings of the Software Engineering and Formal Methods - 15th International Conference, 2017

2016

Model Checking the Logic of Allen's Relations Meets and Started-by is P^NP-Complete.

Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala

Proceedings of the Seventh International Symposium on Games, 2016

Checking interval properties of computations.

Alberto Molinari, Angelo Montanari, Aniello Murano, Giuseppe Perelli, Adriano Peron

Acta Informatica, 2016

Model Checking Well-Behaved Fragments of HS: The (Almost) Final Picture.

Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

Interval Temporal Logic Model Checking Based on Track Bisimilarity and Prefix Sampling.

Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala

Proceedings of the 17th Italian Conference on Theoretical Computer Science, 2016

Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments.

Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala

Proceedings of the Automated Reasoning - 8th International Joint Conference, 2016

2015

Constraining Cycle Alternations in Model Checking for Interval Temporal Logic.

Alberto Molinari, Angelo Montanari, Adriano Peron

Proceedings of the 16th Italian Conference on Theoretical Computer Science, 2015

Complexity of ITL Model Checking: Some Well-Behaved Fragments of the Interval Logic HS.

Alberto Molinari, Angelo Montanari, Adriano Peron

Proceedings of the 22nd International Symposium on Temporal Representation and Reasoning, 2015

A Model Checking Procedure for Interval Temporal Logics based on Track Representatives.

Alberto Molinari, Angelo Montanari, Adriano Peron

Proceedings of the 24th EACSL Annual Conference on Computer Science Logic, 2015