TY - RPRT TI - Training Verifiably Robust Agents Using Set-Based Reinforcement Learning AU - Manuel Wendl AU - Lukas Koller AU - Tobias Ladner AU - Matthias Althoff PY - 2026 UR - https://arxiv.org/abs/2408.09112 ID - 2408.09112 ER -