Gross, Dennis, Christoph Schmidl, Nils Jansen, and Guillermo 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 33, no. 1 (July 1, 2023): 162-170. Accessed May 8, 2024. https://ojs.aaai.org/index.php/ICAPS/article/view/27191.