Login / Signup
Davide Bresolin
ORCID
Publication Activity (10 Years)
Years Active: 2004-2024
Publications (10 Years): 28
Top Topics
Formal Verification
Hybrid Automata
Finite State
Temporal Logic
Top Venues
CoRR
Inf. Comput.
TIME
Ann. Math. Artif. Intell.
</>
Publications
</>