Registered user since Fri 7 Jan 2022
Robotics PhD Candidate at Michigan studying formal verification for autonomous vehicles.
Affiliation:University of Michigan
Research interests:Formal Verification, Autonomous Vehicles
|FTSCS 2022||Towards a Formalization of the Active Corner Method for Collision Avoidance in PVS|
|Show activities from other conferences|
Using general profile