Reasoning about Safety of Learning-Enabled Components in Autonomous
Cyber-physical Systems

Reasoning about Safety of Learning-Enabled Components in Autonomous Cyber-physical Systems

11 April 2018

Cumhur Erkan Tuncali

Jyotirmoy V. Deshmukh

Papers citing "Reasoning about Safety of Learning-Enabled Components in Autonomous Cyber-physical Systems"

5 / 5 papers shown

Title
Output Range Analysis for Deep Neural Networks Souradeep Dutta Susmit Jha S. Sankaranarayanan A. Tiwari AAML 35 119 0 26 Sep 2017
Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks Rüdiger Ehlers 74 622 0 03 May 2017
Compositional Falsification of Cyber-Physical Systems with Machine Learning Components T. Dreossi Alexandre Donzé Sanjit A. Seshia AAML 63 230 0 02 Mar 2017
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 286 1,849 0 03 Feb 2017
Safety Verification of Deep Neural Networks Xiaowei Huang Marta Kwiatkowska Sen Wang Min Wu AAML 198 935 0 21 Oct 2016