“The technology to validate software systems this complex does not exist today,” said Raj Rajkumar, a professor in the robotics department at Carnegie Mellon University. “If we were to switch to completely automated vehicles [everywhere], that would be one thing,” he says. “But it’s another when they have to coexist with many vehicles of varying capabilities.”