Research & Archive
// RESEARCH ABSTRACT
"Formal Verification of Perception"
#Safe AutonomyARCHIVE_ID_2024
Formal Verification of Perception
// RESEARCH ABSTRACT
"Trusted AI in Urban Environments"
#Trusted AIARCHIVE_ID_2023
Trusted AI in Urban Environments
// RESEARCH ABSTRACT
"Neural Network Robustness"
#VerificationARCHIVE_ID_2023
Neural Network Robustness
// RESEARCH ABSTRACT
"Real-time Safety Monitoring"
#ControlARCHIVE_ID_2022