Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2408.09112
Cited By
Training Verifiably Robust Agents Using Set-Based Reinforcement Learning
17 August 2024
Manuel Wendl
Lukas Koller
Tobias Ladner
Matthias Althoff
OOD
OffRL
Re-assign community
ArXiv
PDF
HTML
Papers citing
"Training Verifiably Robust Agents Using Set-Based Reinforcement Learning"
2 / 2 papers shown
Title
Robust Deep Reinforcement Learning for Quadcopter Control
Aditya M. Deshpande
A. Minai
Manish Kumar
33
18
0
06 Nov 2021
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks
Guy Katz
Clark W. Barrett
D. Dill
Kyle D. Julian
Mykel Kochenderfer
AAML
231
1,837
0
03 Feb 2017
1