ResearchTrend.AI
Compositional Verification for Autonomous Systems with Deep Learning Components

Compositional Verification for Autonomous Systems with Deep Learning Components

C. Păsăreanu
D. Gopinath
Huafeng Yu
ArXiv (abs)PDFHTML

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
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
Counterexample-Guided Synthesis of Perception Models and Control
Shromona Ghosh
Yash Vardhan Pant
H. Ravanbakhsh
Sanjit A. Seshia
108
15
0
04 Nov 2019