Alberto Molinari

Publication Activity (10 Years)

Years Active: 2015-2022
Publications (10 Years): 31

Top Topics

Satisfiability Problem

Concurrent Systems

Top Venues

Publications

Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala
Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption. Log. Methods Comput. Sci. 18 (1) (2022)
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron
Model checking interval temporal logics with regular expressions. Inf. Comput. 272 (2020)
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron
Undecidability of Future Timeline-based Planning over Dense Temporal Domains? ICTCS (2020)
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Gerhard J. Woeginger
Timeline-based planning over dense temporal domains. Theor. Comput. Sci. 813 (2020)
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala
Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption. CoRR (2020)
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala
Which fragments of the interval temporal logic HS are tractable in model checking? Theor. Comput. Sci. 764 (2019)
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron
Model Checking Timeline-Based Systems over Dense Temporal Domains. ICTCS (2019)
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala
Interval vs. Point Temporal Logic Model Checking: An Expressiveness Comparison. ACM Trans. Comput. Log. 20 (1) (2019)
Alberto Molinari
Model checking: the interval way. CoRR (2019)
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron
Undecidability of future timeline-based planning over dense temporal domains. CoRR (2019)
Alberto Molinari, Angelo Montanari, Adriano Peron
Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives. Inf. Comput. 259 (3) (2018)
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Gerhard J. Woeginger
Timeline-Based Planning over Dense Temporal Domains with Trigger-less Rules is NP-Complete. ICTCS (2018)
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron
Complexity of Timeline-Based Planning over Dense Temporal Domains: Exploring the Middle Ground. GandALF (2018)
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala
Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy. Inf. Comput. 262 (2018)
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron
Decidability and Complexity of Timeline-Based Planning over Dense Temporal Domains. KR (2018)
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala
Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison. CoRR (2017)
Alberto Molinari, Angelo Montanari, Adriano Peron
Model Checking for Fragments of Halpern and Shoham's Interval Temporal Logic Based on Track Representatives. CoRR (2017)
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron
An In-Depth Investigation of Interval Temporal Logic Model Checking with Regular Expressions. SEFM (2017)
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron
On the Complexity of Model Checking for Syntactically Maximal Fragments of the Interval Temporal Logic HS with Regular Expressions. GandALF (2017)
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala
Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption. ICALP (2017)
Alberto Molinari, Angelo Montanari, Aniello Murano, Giuseppe Perelli, Adriano Peron
Checking Interval Properties of Computations. CoRR (2016)
Alberto Molinari, Angelo Montanari, Adriano Peron
Complexity of ITL model checking: some well-behaved fragments of the interval logic HS. CoRR (2016)
Alberto Molinari, Angelo Montanari, Adriano Peron
Constraining Cycle Alternations in Model Checking for Interval Temporal Logic. Electron. Notes Theor. Comput. Sci. 322 (2016)
Alberto Molinari, Angelo Montanari, Aniello Murano, Giuseppe Perelli, Adriano Peron
Checking interval properties of computations. Acta Informatica 53 (6-8) (2016)
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala
Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments. IJCAR (2016)
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala
Interval Temporal Logic Model Checking Based on Track Bisimilarity and Prefix Sampling. ICTCS (2016)
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala
Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison. FSTTCS (2016)
Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala
Model Checking Well-Behaved Fragments of HS: The (Almost) Final Picture. KR (2016)
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala
-Complete. GandALF (2016)
Alberto Molinari, Angelo Montanari, Adriano Peron
A Model Checking Procedure for Interval Temporal Logics based on Track Representatives. CSL (2015)
Alberto Molinari, Angelo Montanari, Adriano Peron
Complexity of ITL Model Checking: Some Well-Behaved Fragments of the Interval Logic HS. TIME (2015)