Verification framework uncovers safety lapses in open-source self-driving system

Using a newly developed verification framework, researchers have uncovered safety limitations in open-source self-driving systems during high-speed movements and sudden cut-ins, raising concerns for real-world deployments.