Targeted Adversarial Attacks on Deep Reinforcement Learning Policies via Model Checking

10 December 2022

Papers citing "Targeted Adversarial Attacks on Deep Reinforcement Learning Policies via Model Checking"

4 / 4 papers shown

Title
COOL-MC: A Comprehensive Tool for Reinforcement Learning and Model Checking Dennis Gross N. Jansen Sebastian Junges G. Pérez 28 9 0 15 Sep 2022
Challenges and Countermeasures for Adversarial Attacks on Deep Reinforcement Learning Inaam Ilahi Muhammad Usama Junaid Qadir M. Janjua Ala I. Al-Fuqaha D. Hoang Dusit Niyato AAML 52 129 0 27 Jan 2020
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 222 1,818 0 03 Feb 2017
Safety Verification of Deep Neural Networks Xiaowei Huang M. Kwiatkowska Sen Wang Min Wu AAML 178 929 0 21 Oct 2016