According to our database1, Alberto Molinari authored at least 18 papers between 2015 and 2019.
Legend:Book In proceedings Article PhD thesis Other
Which fragments of the interval temporal logic HS are tractable in model checking?
Theor. Comput. Sci., 2019
Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives.
Inf. Comput., 2018
Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy.
Inf. Comput., 2018
Complexity of Timeline-Based Planning over Dense Temporal Domains: Exploring the Middle Ground.
Proceedings of the Proceedings Ninth International Symposium on Games, 2018
Decidability and Complexity of Timeline-Based Planning over Dense Temporal Domains.
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.
Proceedings of the 19th Italian Conference on Theoretical Computer Science, 2018
On the Complexity of Model Checking for Syntactically Maximal Fragments of the Interval Temporal Logic HS with Regular Expressions.
Proceedings of the Proceedings Eighth International Symposium on Games, 2017
An In-Depth Investigation of Interval Temporal Logic Model Checking with Regular Expressions.
Proceedings of the Software Engineering and Formal Methods - 15th International Conference, 2017
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, 2017
Constraining Cycle Alternations in Model Checking for Interval Temporal Logic.
Electr. Notes Theor. Comput. Sci., 2016
Model Checking the Logic of Allen's Relations Meets and Started-by is PNP-Complete.
Proceedings of the Seventh International Symposium on Games, 2016
Checking interval properties of computations.
Acta Inf., 2016
Model Checking Well-Behaved Fragments of HS: The (Almost) Final Picture.
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.
Proceedings of the 17th Italian Conference on Theoretical Computer Science, 2016
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, 2016
Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments.
Proceedings of the Automated Reasoning - 8th International Joint Conference, 2016
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, 2015
A Model Checking Procedure for Interval Temporal Logics based on Track Representatives.
Proceedings of the 24th EACSL Annual Conference on Computer Science Logic, 2015