Gross, D., Schmidl, C., Jansen, N., & Pérez, G. A. (2023). Model Checking for Adversarial Multi-Agent Reinforcement Learning with Reactive Defense Methods. Proceedings of the International Conference on Automated Planning and Scheduling, 33(1), 162-170. https://doi.org/10.1609/icaps.v33i1.27191