Alessandro Pinto
Scholar

Alessandro Pinto

Google Scholar ID: PMwlwE0AAAAJ
NASA Jet Propulsion Laboratory
Computer AutomationSystems EngineeringAutonomous SystemsAssuranceVerification
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
1,861
 
H-index
23
 
i10-index
38
 
Publications
20
 
Co-authors
5
list available
Contact
No contact links provided.
Publications
1 items
Robust Verification of Controllers under State Uncertainty via Hamilton-Jacobi Reachability Analysis
2025
Cited
0
Resume (English only)
Co-authors
5 total
Alberto Sangiovanni Vincentelli
Alberto Sangiovanni Vincentelli
Professor of EECS, University of California, Berkeley
Co-author 2
Co-author 2
Roberto Passerone
Roberto Passerone
Professor of Electrical Engineering and Computer Sciences, University of Trento
Qi Zhu
Qi Zhu
Professor of Computer Engineering
Co-author 5
Co-author 5