Model Checking for Adversarial Multi-Agent Reinforcement Learning with Reactive Defense Methods. - Dennis Gross; Christoph Schmidl; Nils Jansen 001; Guillermo A. Pérez 001 (ICAPS, 2023)

A Supervised Learning Approach to Robust Reinforcement Learning for Job Shop Scheduling. - Christoph Schmidl; Thiago D. Simão; Nils Jansen 001 (ICAART (3), 2024)