Gross, Dennis, Christoph Schmidl, Nils Jansen, and Guillermo A. Pérez. 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-70. https://doi.org/10.1609/icaps.v33i1.27191.