119 citations · 147 across the 2 of their papers we have counts for
1 paper · 1 filter
Guy Katz, Clark Barrett, David L. Dill +2
Autonomous vehicles are highly complex systems, required to function reliably in a wide variety of situations. Manually crafting software controllers for these vehicles is difficul…