Training Verifiably Robust Agents Using Set-Based Reinforcement Learning. - Manuel Wendl; Lukas Koller; Tobias Ladner; Matthias Althoff (CoRR, 2024)