Login / Signup
Luca Geretti
ORCID
Publication Activity (10 Years)
Years Active: 2007-2024
Publications (10 Years): 20
Top Topics
Hybrid Systems
Formal Verification
Pose Estimation
Black Box
Top Venues
CoRR
ARCH
Inf. Comput.
ICTSS
</>
Publications
</>