Publications

3 results for Nathan Fulton

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