Verifying and validating machine intelligence | Andrew Moore
Channel: World Economic Forum
Date: 19/02/2016

If an animal jumps out in front of an autonomous car, how should the car approach the trade-off between saving the animal and endangering the driver? Andrew Moore, Dean of the School of Computer Science at Carnegie Mellon University, describes how such policy questions are now becoming urgent – as is the task of verifying solutions. 

http://www.weforum.org/