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

Chrome logo  Add to Chrome

Firefox logo Add to Firefox

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

Clinical Intervention Prediction and Understanding using Deep Networks


May 23, 2017
Harini Suresh, Nathan Hunt, Alistair Johnson, Leo Anthony Celi, Peter Szolovits, Marzyeh Ghassemi


   Access Paper or Ask Questions

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