Get our free extension to see links to code for papers anywhere online!

Chrome logo  Add to Chrome

Firefox logo Add to Firefox

CertRL: Formalizing Convergence Proofs for Value and Policy Iteration in Coq


Sep 23, 2020
Koundinya Vajjha, Avraham Shinnar, Vasily Pestun, Barry Trager, Nathan Fulton


   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

Verifiably Safe Exploration for End-to-End Reinforcement Learning


Jul 02, 2020
Nathan Hunt, Nathan Fulton, Sara Magliacane, Nghia Hoang, Subhro Das, Armando Solar-Lezama


   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

Formal Verification of End-to-End Learning in Cyber-Physical Systems: Progress and Challenges


Jun 15, 2020
Nathan Fulton, Nathan Hunt, Nghia Hoang, Subhro Das

* 7 pages, 4 figures. NeurIPS Workshop on Safety and Robustness in Decision Making, 2019 

   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

Verifiably Safe Off-Model Reinforcement Learning


Feb 14, 2019
Nathan Fulton, Andre Platzer

* TACAS 2019 

   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email