%0 Conference Paper %1 conf/hybrid/HuntFMHDS21 %A Hunt, Nathan %A Fulton, Nathan %A Magliacane, Sara %A Hoang, Trong Nghia %A Das, Subhro %A Solar-Lezama, Armando %B HSCC %D 2021 %E Bogomolov, Sergiy %E Jungers, Raphaël M. %I ACM %K dblp %P 14:1-14:11 %T Verifiably safe exploration for end-to-end reinforcement learning. %U http://dblp.uni-trier.de/db/conf/hybrid/hscc2021.html#HuntFMHDS21 %@ 978-1-4503-8339-4

@inproceedings{conf/hybrid/HuntFMHDS21, added-at = {2022-04-09T00:00:00.000+0200}, author = {Hunt, Nathan and Fulton, Nathan and Magliacane, Sara and Hoang, Trong Nghia and Das, Subhro and Solar-Lezama, Armando}, biburl = {https://www.bibsonomy.org/bibtex/2379065502eedb59ce5497c669080ccb5/dblp}, booktitle = {HSCC}, crossref = {conf/hybrid/2021}, editor = {Bogomolov, Sergiy and Jungers, Raphaël M.}, ee = {https://doi.org/10.1145/3447928.3456653}, interhash = {0670a8805491526a426ea2356addfd4a}, intrahash = {379065502eedb59ce5497c669080ccb5}, isbn = {978-1-4503-8339-4}, keywords = {dblp}, pages = {14:1-14:11}, publisher = {ACM}, timestamp = {2024-04-09T13:54:58.000+0200}, title = {Verifiably safe exploration for end-to-end reinforcement learning.}, url = {http://dblp.uni-trier.de/db/conf/hybrid/hscc2021.html#HuntFMHDS21}, year = 2021 }