Get our free extension to see links to code for papers anywhere online!

Chrome logo  Add to Chrome

Firefox logo Add to Firefox

Verifiably Safe Exploration for End-to-End Reinforcement Learning

Nathan Hunt , Nathan Fulton , Sara Magliacane , Nghia Hoang , Subhro Das , Armando Solar-Lezama

   Access Paper or Ask Questions

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

Nathan Fulton , Nathan Hunt , Nghia Hoang , Subhro Das

* 7 pages, 4 figures. NeurIPS Workshop on Safety and Robustness in Decision Making, 2019 

   Access Paper or Ask Questions

On the Design of Black-box Adversarial Examples by Leveraging Gradient-free Optimization and Operator Splitting Method

Pu Zhao , Sijia Liu , Pin-Yu Chen , Nghia Hoang , Kaidi Xu , Bhavya Kailkhura , Xue Lin

* accepted by ICCV 2019 

   Access Paper or Ask Questions