Update on Machine-Learned Correctness Properties

Autonomous systems are poised to provide transformative benefits to society. Autonomous vehicles (AVs) have the potential to reduce the frequency and severity of collisions, enhance mobility for blind, disabled, and underage drivers, lower energy consumption and environmentally harmful emissions, and reduce population density in metropolitan regions. In civilian aviation, increasingly autonomous systems could mitigate two of the most costly features of human pilots: the cost associated with training and paying highly skilled operators, and the reduced efficiency incurred by flight time limitations and crew rest requirements.