Gross, D., Schmidl, C., Jansen, N. and 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), pp. 162-170. doi: 10.1609/icaps.v33i1.27191.