New AI systems are teaching machines to verifiably function safely

From industrial robots to self-driving cars, engineers face a common problem: keeping machines steady and predictable. When ...