[1]
D. Gross, C. Schmidl, N. Jansen, and G. A. Pérez, “Model Checking for Adversarial Multi-Agent Reinforcement Learning with Reactive Defense Methods”, ICAPS, vol. 33, no. 1, pp. 162-170, Jul. 2023.