4 citations · 7 across the 5 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
cs.LG2024★ 2 cited
Training Verifiably Robust Agents Using Set-Based Reinforcement Learning
Manuel Wendl, Lukas Koller, Tobias Ladner +1
Reinforcement learning policies parametrized by deep neural networks have achieved strong performance for continuous control, yet even small input perturbations may lead to unpredi…
cs.LG2024
Set-Based Training for Neural Network Verification
Lukas Koller, Tobias Ladner, Matthias Althoff
Neural networks are vulnerable to adversarial attacks, i.e., small input perturbations can significantly affect the outputs of a neural network. Therefore, to ensure safety of neur…