Verifiably safe exploration for end-to-end reinforcement learning

Nathan Hunt, Nathan Fulton, Sara Magliacane, Trong Nghia Hoang, Subhro Das, Armando Solar-Lezama. Verifiably safe exploration for end-to-end reinforcement learning. In Sergiy Bogomolov, Raphaƫl M. Jungers, editors, HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, Nashville, Tennessee, May 19-21, 2021. ACM, 2021. [doi]

Authors

Nathan Hunt

This author has not been identified. Look up 'Nathan Hunt' in Google

Nathan Fulton

This author has not been identified. Look up 'Nathan Fulton' in Google

Sara Magliacane

This author has not been identified. Look up 'Sara Magliacane' in Google

Trong Nghia Hoang

This author has not been identified. Look up 'Trong Nghia Hoang' in Google

Subhro Das

This author has not been identified. Look up 'Subhro Das' in Google

Armando Solar-Lezama

This author has not been identified. Look up 'Armando Solar-Lezama' in Google