-
CertRL: Formalizing Convergence Proofs for Value and Policy Iteration in Coq
Reinforcement learning algorithms solve sequential decision-making probl...
09/23/2020 ∙ by Koundinya Vajjha, et al. ∙
0
∙
share
read it
-
Verifiably Safe Exploration for End-to-End Reinforcement Learning
Deploying deep reinforcement learning in safety-critical settings requir...
07/02/2020 ∙ by Nathan Hunt, et al. ∙
22
∙
share
read it
-
Formal Verification of End-to-End Learning in Cyber-Physical Systems: Progress and Challenges
Autonomous systems – such as self-driving cars, autonomous drones, and a...
06/15/2020 ∙ by Nathan Fulton, et al. ∙
0
∙
share
read it
-
Verifiably Safe Off-Model Reinforcement Learning
The desire to use reinforcement learning in safety-critical settings has...
02/14/2019 ∙ by Nathan Fulton, et al. ∙
0
∙
share
read it
