no code implementations • 6 Feb 2022 • Tong Zhao, Ekim Yurtsever, Joel Paulson, Giorgio Rizzoni
In this work, we provide both an overview of the safety verification, validation and certification process, as well as review formal safety techniques that are best suited to AV applications.