Formal Verification of End-to-End Learning in Cyber-Physical Systems: Progress and Challenges

15 June 2020

Papers citing "Formal Verification of End-to-End Learning in Cyber-Physical Systems: Progress and Challenges"

3 / 3 papers shown

Title
On Salience-Sensitive Sign Classification in Autonomous Vehicle Path Planning: Experimental Explorations with a Novel Dataset Ross Greer J. Isa Nachiket Deo Akshay Rangesh Mohan M. Trivedi 29 17 0 02 Dec 2021
Certified Reinforcement Learning with Logic Guidance Mohammadhosein Hasanbeig Daniel Kroening Alessandro Abate 18 52 0 02 Feb 2019
CNN-Cert: An Efficient Framework for Certifying Robustness of Convolutional Neural Networks Akhilan Boopathy Tsui-Wei Weng Pin-Yu Chen Sijia Liu Luca Daniel AAML 108 138 0 29 Nov 2018