GROSS, Dennis; SCHMIDL, Christoph; JANSEN, Nils; PÉREZ, Guillermo A. Model Checking for Adversarial Multi-Agent Reinforcement Learning with Reactive Defense Methods. Proceedings of the International Conference on Automated Planning and Scheduling, [S. l.], v. 33, n. 1, p. 162–170, 2023. DOI: 10.1609/icaps.v33i1.27191. Disponível em: https://ojs.aaai.org/index.php/ICAPS/article/view/27191. Acesso em: 20 may. 2026.