Anu Deodhar (University of Oregon)
Swati Munjal (University of Arizona)
Everyone agrees that autonomous vehicles should be safer than regular vehicles, but how do we know if they actually will? This project works on the application of safety verification tools to ground vehicles.