OutRes Outlier Resilience

Test driving cannot prove safety.

A test campaign visits finitely many conditions, and the road presents uncountably many.

Two camera frames of the same road. The left frame, in darkness, is covered by the test rule. The right frame, at dusk, is not.
The same road under two lighting conditions. A test rule that samples the extremes covers the frame on the left and misses the one on the right, where the model actually fails.

Proving one vehicle beats a human driver would take 275 million failure-free miles. Kalra & Paddock, RAND, 2016

Formal verification reads the weights and proves what a steering model will do in conditions it never drove. White paper: testing between the test cases

outlierresilience@gmail.com