Login / Signup
Lina Marsso
ORCID
Publication Activity (10 Years)
Years Active: 2017-2024
Publications (10 Years): 22
Top Topics
Temporal Logic
Machine Vision
Autonomous Vehicles
Comparative Study
Top Venues
CoRR
MARS@ETAPS
MARS/VPT@ETAPS
ICSE
</>
Publications
</>