Phil Koopman's Better Embedded Systems SW
https://betterembsw.blogspot.com.au/2017/04/scav-2017-keynote-challenges-in.html
Sunday, April 23, 2017
SCAV 2017 Keynote: Challenges in Autonomous Vehicle Validation

https://betterembsw.blogspot.com.au/2017/01/autonomous-vehicle-safety.html
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

https://betterembsw.blogspot.com.au/2016/12/a-driver-test-for-self-driving-cars.html
A Driver Test For Self-Driving Cars Isn't Enough

https://betterembsw.blogspot.com.au/2016/10/draft-response-to-dot-policy-on-highly.html
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:
https://www.youtube.com/watch?v=_DN2rzHkpZE
Verifying Mission-Critical AI Programs | Two Minute Papers #17
"Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks"
https://arxiv.org/pdf/1702.01135.pdf