PAC-Based Formal Verification for Out-of-Distribution Data Detection

Mohit Prashant, Arvind Easwaran

Cyber-physical systems (CPS) like autonomous vehicles, that utilize learning components, are often sensitive to noise and out-of-distribution (OOD) instances encountered during run…