Using a newly developed verification framework, researchers have uncovered safety limitations in open-source self-driving ...