Login / Signup
Simone Gnani
Publication Activity (10 Years)
Years Active: 2018-2018
Publications (10 Years): 1
Top Topics
Bounded Model Checking
Dynamic Constraints
Temporal Logic
Formal Specification Language
Top Venues
TIME
</>
Publications
</>
Davide Bresolin
,
Enrico Cominato
,
Simone Gnani
,
Emilio Muñoz-Velasco
,
Guido Sciavicco
Extracting Interval Temporal Logic Rules: A First Approach.
TIME
(2018)