Certified Adversarial Robustness for Deep Reinforcement Learning

28 October 2019

Björn Lütjens

Papers citing "Certified Adversarial Robustness for Deep Reinforcement Learning"

30 / 30 papers shown

Title
Explicit Lipschitz Value Estimation Enhances Policy Robustness Against Perturbation Xulin Chen Ruipeng Liu Garret E. Katz 44 0 0 22 Apr 2024
Specification Overfitting in Artificial Intelligence Benjamin Roth Pedro Henrique Luz de Araujo Yuxi Xia Saskia Kaltenbrunner Christoph Korab 58 0 0 13 Mar 2024
Robustness Verification for Knowledge-Based Logic of Risky Driving Scenes Xia Wang Anda Liang Jonathan Sprinkle Taylor T. Johnson 24 4 0 27 Dec 2023
Regret-Based Defense in Adversarial Reinforcement Learning Roman Belaire Pradeep Varakantham Thanh Nguyen David Lo AAML 23 3 0 14 Feb 2023
Certified Policy Smoothing for Cooperative Multi-Agent Reinforcement Learning Ronghui Mu Wenjie Ruan Leandro Soriano Marcolino Gaojie Jin Q. Ni 42 5 0 22 Dec 2022
ReachLipBnB: A branch-and-bound method for reachability analysis of neural autonomous systems using Lipschitz bounds Taha Entesari Sina Sharifi Mahyar Fazlyab 46 6 0 01 Nov 2022
Efficient Adversarial Training without Attacking: Worst-Case-Aware Robust Reinforcement Learning Yongyuan Liang Yanchao Sun Ruijie Zheng Furong Huang OOD AAML OffRL 28 47 0 12 Oct 2022
Trustworthy Reinforcement Learning Against Intrinsic Vulnerabilities: Robustness, Safety, and Generalizability Mengdi Xu Zuxin Liu Peide Huang Wenhao Ding Zhepeng Cen Bo-wen Li Ding Zhao 79 45 0 16 Sep 2022
Example When Local Optimal Policies Contain Unstable Control B. Song Jean-Jacques E. Slotine Quang Pham 46 1 0 15 Sep 2022
Certifiably Robust Policy Learning against Adversarial Communication in Multi-agent Systems Yanchao Sun Ruijie Zheng Parisa Hassanzadeh Yongyuan Liang S. Feizi Sumitra Ganesh Furong Huang AAML 31 10 0 21 Jun 2022
A Verification Framework for Certifying Learning-Based Safety-Critical Aviation Systems Ali Baheri Hao Ren B. Johnson Pouria Razzaghi Peng Wei 21 5 0 09 May 2022
Review of Metrics to Measure the Stability, Robustness and Resilience of Reinforcement Learning L. Pullum 21 2 0 22 Mar 2022
ROMAX: Certifiably Robust Deep Multiagent Reinforcement Learning via Convex Relaxation Chuangchuang Sun Dong-Ki Kim Jonathan P. How AAML 33 19 0 14 Sep 2021
How to Certify Machine Learning Based Safety-critical Systems? A Systematic Literature Review Florian Tambon Gabriel Laberge Le An Amin Nikanjam Paulina Stevia Nouwou Mindom Y. Pequignot Foutse Khomh G. Antoniol E. Merlo François Laviolette 37 66 0 26 Jul 2021
Policy Smoothing for Provably Robust Reinforcement Learning Aounon Kumar Alexander Levine S. Feizi AAML 20 56 0 21 Jun 2021
Safety Enhancement for Deep Reinforcement Learning in Autonomous Separation Assurance Wei Guo Marc Brittain Peng Wei 31 18 0 05 May 2021
Resilient Machine Learning for Networked Cyber Physical Systems: A Survey for Machine Learning Security to Securing Machine Learning for CPS Felix O. Olowononi D. Rawat Chunmei Liu 36 133 0 14 Feb 2021
Learning Loss for Test-Time Augmentation Ildoo Kim Younghoon Kim Sungwoong Kim OOD 26 90 0 22 Oct 2020
Robust Constrained Reinforcement Learning for Continuous Control with Model Misspecification D. Mankowitz D. A. Calian Rae Jeong Cosmin Paduraru N. Heess Sumanth Dathathri Martin Riedmiller Timothy A. Mann 24 11 0 20 Oct 2020
SoK: Certified Robustness for Deep Neural Networks Linyi Li Tao Xie Bo-wen Li AAML 33 128 0 09 Sep 2020
Robust Deep Reinforcement Learning through Adversarial Loss Tuomas P. Oikarinen Wang Zhang Alexandre Megretski Luca Daniel Tsui-Wei Weng AAML 44 94 0 05 Aug 2020
Certifiable Robustness to Adversarial State Uncertainty in Deep Reinforcement Learning Michael Everett Bjorn Lutjens Jonathan P. How AAML 13 41 0 11 Apr 2020
Robust Deep Reinforcement Learning against Adversarial Perturbations on State Observations Huan Zhang Hongge Chen Chaowei Xiao Bo-wen Li Mingyan D. Liu Duane S. Boning Cho-Jui Hsieh AAML 38 261 0 19 Mar 2020
Soft Actor-Critic for Discrete Action Settings Petros Christodoulou OffRL 104 292 0 16 Oct 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
Motion Planning Among Dynamic, Decision-Making Agents with Deep Reinforcement Learning Michael Everett Yu Fan Chen Jonathan P. How 146 509 0 04 May 2018
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 249 1,842 0 03 Feb 2017
Adversarial Machine Learning at Scale Alexey Kurakin Ian Goodfellow Samy Bengio AAML 296 3,113 0 04 Nov 2016
Safety Verification of Deep Neural Networks Xiaowei Huang Marta Kwiatkowska Sen Wang Min Wu AAML 180 932 0 21 Oct 2016
Adversarial examples in the physical world Alexey Kurakin Ian Goodfellow Samy Bengio SILM AAML 308 5,847 0 08 Jul 2016