Gross D, Schmidl C, Jansen N, Pérez GA. Model Checking for Adversarial Multi-Agent Reinforcement Learning with Reactive Defense Methods. ICAPS [Internet]. 2023 Jul. 1 [cited 2026 May 20];33(1):162-70. Available from: https://ojs.aaai.org/index.php/ICAPS/article/view/27191