Search Results for author:
Found 1 papers, 0 papers with code
Formal Certification Methods for Automated Vehicle Safety Assessment
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.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
