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
Systems Challenges for Trustworthy Embodied Systems Harald Ruess 29 2 0 10 Jan 2022
Training Neural Network Controllers Using Control Barrier Functions in the Presence of Disturbances Shakiba Yaghoubi Georgios Fainekos S. Sankaranarayanan 34 42 0 18 Jan 2020
Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems Meng Wu Jingbo Wang Jyotirmoy Deshmukh Chao Wang 17 24 0 15 Aug 2019
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 251 1,845 0 03 Feb 2017
Safety Verification of Deep Neural Networks Xiaowei Huang Marta Kwiatkowska Sen Wang Min Wu AAML 186 932 0 21 Oct 2016