Login / Signup
Enrico Cominato
Publication Activity (10 Years)
Years Active: 2017-2018
Publications (10 Years): 2
Top Topics
Transition Systems
Model Checker
Verification Method
Temporal Logic
Top Venues
TIME
ICTCS/CILC
</>
Publications
</>
Davide Bresolin
,
Enrico Cominato
,
Simone Gnani
,
Emilio Muñoz-Velasco
,
Guido Sciavicco
Extracting Interval Temporal Logic Rules: A First Approach.
TIME
(2018)
Enrico Cominato
,
Dario Della Monica
,
Angelo Montanari
,
Guido Sciavicco
A Model Checker for Interval Temporal Logic over Finite Structures.
ICTCS/CILC
(2017)