Scenario-based Compositional Verification of Autonomous Systems with Neural Perception

Christopher Watson, Rajeev Alur, Divya Gopinath +2

Recent advances in deep learning have enabled the development of autonomous systems that use deep neural networks for perception. Formal verification of these systems is challengin…