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"

2 / 2 papers shown

Title
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