CMU Develops Autonomous Car Software That's Provably Safe

We'll all feel a lot better being driven around by robot cars now that CMU has developed control software that can't possibly cause a crash

2 min read

CMU Develops Autonomous Car Software That's Provably Safe