%0 Conference Paper %1 conf/aaai/FultonP18 %A Fulton, Nathan %A Platzer, André %B AAAI %D 2018 %E McIlraith, Sheila A. %E Weinberger, Kilian Q. %I AAAI Press %K %P 6485-6492 %T Safe Reinforcement Learning via Formal Methods: Toward Safe Control Through Proof and Learning. %U http://dblp.uni-trier.de/db/conf/aaai/aaai2018.html#FultonP18

@inproceedings{conf/aaai/FultonP18, added-at = {2023-12-13T03:21:53.000+0100}, author = {Fulton, Nathan and Platzer, André}, biburl = {https://www.bibsonomy.org/bibtex/2ddceb3d577b617737bfdae2a84cd3faa/admin}, booktitle = {AAAI}, crossref = {conf/aaai/2018}, editor = {McIlraith, Sheila A. and Weinberger, Kilian Q.}, ee = {https://www.aaai.org/ocs/index.php/AAAI/AAAI18/paper/view/17376}, interhash = {8aa5d26d4b2fc1fb471cb244c12e59c4}, intrahash = {ddceb3d577b617737bfdae2a84cd3faa}, keywords = {}, pages = {6485-6492}, publisher = {AAAI Press}, timestamp = {2023-12-13T03:21:53.000+0100}, title = {Safe Reinforcement Learning via Formal Methods: Toward Safe Control Through Proof and Learning.}, url = {http://dblp.uni-trier.de/db/conf/aaai/aaai2018.html#FultonP18}, year = 2018 }