Verifiably safe exploration for end-to-end reinforcement learning
- Nathan Hunt
- Nathan Fulton
- et al.
- 2021
- HSCC 2021
Publications
Date
Featured collections
Popular topics
3 results for Nathan Fulton
Work-in-progress: Verifiably safe scuba diving using commodity sensors
- Viren Bajaj
- Karim Elmaaroufi
- et al.
- 2019
- EMSOFT 2019
CertRL: Formalizing convergence proofs for value and policy iteration in Coq
- Koundinya Vajjha
- Avraham Shinnar
- et al.
- 2021
- CPP 2021