37 citations · 116 across the 18 of their papers we have counts for
3 papers · 1 filter
Model Checking the Logic of Allen's Relations Meets and Started-by is -Complete
Laura Bozzelli, Alberto Molinari, Angelo Montanari +2
In the plethora of fragments of Halpern and Shoham's modal logic of time intervals (HS), the logic AB of Allen's relations Meets and Started-by is at a central position. Statements…
Complexity of ITL model checking: some well-behaved fragments of the interval logic HS
A. Molinari, A. Montanari, A. Peron
Model checking has been successfully used in many computer science fields, including artificial intelligence, theoretical computer science, and databases. Most of the proposed solu…
Checking Interval Properties of Computations
A. Molinari, A. Montanari, A. Murano +2
Model checking is a powerful method widely explored in formal verification. Given a model of a system, e.g., a Kripke structure, and a formula specifying its expected behaviour, on…