Compositional Verification for Autonomous Systems with Deep Learning Components

18 October 2018

Papers citing "Compositional Verification for Autonomous Systems with Deep Learning Components"

2 / 2 papers shown

Title
Verifying Controllers with Convolutional Neural Network-based Perception: A Case for Intelligible, Safe, and Precise Abstractions Chiao Hsieh Keyur Joshi Sasa Misailovic Sayan Mitra 89 35 0 10 Nov 2021
Counterexample-Guided Synthesis of Perception Models and Control Shromona Ghosh Yash Vardhan Pant H. Ravanbakhsh Sanjit A. Seshia 108 15 0 04 Nov 2019