Gross, D.; Schmidl, C.; Jansen, N.; Pérez, G. A. Model Checking for Adversarial Multi-Agent Reinforcement Learning With Reactive Defense Methods. ICAPS 2023, 33, 162-170.