Listen: Road testing self-drive cars

John Thornhill talks to nuTonomy's Gretchen Effgen about why the company chose Singapore as well as Boston to test its self-drive cars and why it uses a formal methods approach to developing its software