Dennis Gross, Thiago D. Simão, Nils Jansen 0001, Guillermo A. Pérez 0001. Targeted Adversarial Attacks on Deep Reinforcement Learning Policies via Model Checking. In Ana Paula Rocha 0001, Luc Steels, H. Jaap van den Herik, editors, Proceedings of the 15th International Conference on Agents and Artificial Intelligence, ICAART 2023, Volume 3, Lisbon, Portugal, February 22-24, 2023. pages 501-508, SCITEPRESS, 2023. [doi]
Abstract is missing.