A
Alberto Molinari
Researcher at University of Udine
Publications - 33
Citations - 329
Alberto Molinari is an academic researcher from University of Udine. The author has contributed to research in topics: Model checking & Interval temporal logic. The author has an hindex of 10, co-authored 33 publications receiving 273 citations. Previous affiliations of Alberto Molinari include University of Naples Federico II.
Papers
More filters
Journal ArticleDOI
Checking interval properties of computations
TL;DR: In this paper, a model checking problem for Halpern and Shoham's interval temporal logic HS over finite Kripke structures is formalized, and a lower bound to its computational complexity is provided.
Book ChapterDOI
Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments
TL;DR: It is proved that the model checking problem for the logic of Allen's relations started-by and finished-by is highly intractable, as it can be proved to be $${{\mathrm{\mathbf {EXPSPACE}}}}$$-hard.
Proceedings ArticleDOI
Complexity of ITL Model Checking: Some Well-Behaved Fragments of the Interval Logic HS
TL;DR: It is shown that more efficient model checking procedures can be developed for some expressive enough fragments of HS, the modal logic of time intervals HS over finite Kripke structures.
Proceedings ArticleDOI
A Model Checking Procedure for Interval Temporal Logics based on Track Representatives
TL;DR: An EXPSPACE model checking procedure for two meaningful HS fragments is devised, that exploits a suitable contraction technique, that allows one to replace long enough tracks of a Kripke structure by equivalent shorter ones.
Proceedings Article
Model checking well-behaved fragments of HS: the (almost) final picture
TL;DR: An almost final picture of the computational complexity of model checking for HS fragments with modalities for (a subset of) Allen's relations meets, met by, starts, and ends is provided.