Nishant Kheterpal
PhD Student, Robotics Institute
Anticipated Graduation: 2025
nskh@umich.edu
Personal WebsiteResearch interests:
Autonomous vehicles, formal verification, control.
Autonomous vehicles, formal verification, control.
Autonomous vehicles, formal verification, control.