Phil Koopman's Better Embedded Systems SW
Sunday, April 23, 2017
SCAV 2017 Keynote: Challenges in Autonomous Vehicle Validation
Phil Koopman & Mike Wagner (provides preprint link)
Autonomous Vehicle Safety: An Interdisciplinary Challenge
IEEE Intelligent Transportation Systems Magazine
(Volume: 9, Issue: 1, Spring 2017, pp. 90-96) doi:10.1109/MITS.2016.2583491
A Driver Test For Self-Driving Cars Isn't Enough
Response to DoT Policy on Highly Automated Vehicles
I've prepared a draft response to DoT/NHTSA on their proposed policy for
highly automated vehicle safety.
Some hope perhaps:
Verifying Mission-Critical AI Programs | Two Minute Papers #17
"Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks"