Gross, D., C. Schmidl, N. Jansen, and G. A. Pérez. “Model Checking for Adversarial Multi-Agent Reinforcement Learning With Reactive Defense Methods”. Proceedings of the International Conference on Automated Planning and Scheduling, vol. 33, no. 1, July 2023, pp. 162-70, doi:10.1609/icaps.v33i1.27191.