2019 International Conference On Computer Aided Design

The Premier Conference Devoted to Technical Innovations in Electronic Design Automation

November 4-7, 2019The Westin Westminster Westminster, CO

MP Associates, Inc.
TUESDAY November 05, 4:15pm - 6:15pm | Legacy Ballroom
The Road to Safe Autonomy: Neural Networks Meet Formal Reasoning
Wenchao Li - Boston Univ.
Wenchao Li - Boston Univ.
Jyotirmoy Deshmukh - Univ. of Southern California
Recent advances in neural networks and deep learning have spurred a race towards increasing autonomy in both civilian and military spaces. However, recent incidents such as the Uber crash in March 2018 have raised alarms over the safety of these autonomous systems. This session introduces the topic of safety assurance of autonomous systems through the lens of formal reasoning. The four talks are contributed by experts in this field from both academia and industry, and discuss existing techniques and open challenges of safety assurance in diverse applications such as automated insulin delivery and autonomous driving.

7A.1Verifying Conformance of Neural Network Models
 Speaker: Sriram Sankaranarayanan - Univ. of Colorado
 Authors: Monal Narasimhamurthy - Univ. of Colorado
Taisa Kushner - Univ. of Colorado
Souradeep Dutta - Univ. of Colorado
Sriram Sankaranarayanan - Univ. of Colorado
7A.2nn-dependability-kit: Engineering Neural Networks for Safety-Critical Autonomous Driving Systems
 Speaker: Chih-Hong Cheng - fortiss GmbH
 Authors: Chih-Hong Cheng - fortiss GmbH
Chung-Hao Huang - fortiss GmbH
Georg N├╝hrenberg - fortiss GmbH
7A.3Learning Deep Neural Network Controllers for Dynamical Systems with Safety Guarantees
 Speaker: Jyotirmoy Deshmukh - Univ. of Southern California
 Authors: Jyotirmoy Deshmukh - Univ. of Southern California
James Kapinski - Amazon.com, Inc.
Tomoya Yamaguchi - Toyota Research Institute of North America
Danil Prokhorov - Toyota Research Institute of North America
7A.4Towards Verification-Aware Knowledge Distillation for Neural-Network Controlled Systems
 Speaker: Qi Zhu - Northwestern Univ.
 Authors: Jiameng Fan - Boston Univ.
Chao Huang - Northwestern Univ.
Wenchao Li - Boston Univ.
Xin Chen - Univ. of Dayton
Qi Zhu - Northwestern Univ.