Verifiably safe exploration for end-to-end reinforcement learning
- Nathan Hunt
- Nathan Fulton
- et al.
- 2021
- HSCC 2021
Publications
This is our catalog of publications authored by IBM researchers, in collaboration with the global research community. It’s an ever-growing body of work that shows why IBM is one of the most important contributors to modern computing.
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