Formal Verification of an Approach for Systematic False Positive Mitigation in Safe Automated Driving System

Manufacturers of self-driving cars need to significantly improve the safety of their products before the series of such cars are deployed in everyday use. A large number of architecture proposals f ...