Phil Koopman's Better Embedded Systems SW https://betterembsw.blogspot.com.au/2017/04/scav-2017-keynote-challenges-in.... 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-c... A Driver Test For Self-Driving Cars Isn't Enough https://betterembsw.blogspot.com.au/2016/10/draft-response-to-dot-policy-on-... 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