%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 dblp %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-09-04T00:00:00.000+0200}, author = {Fulton, Nathan and Platzer, André}, biburl = {https://www.bibsonomy.org/bibtex/2ddceb3d577b617737bfdae2a84cd3faa/dblp}, booktitle = {AAAI}, crossref = {conf/aaai/2018}, editor = {McIlraith, Sheila A. and Weinberger, Kilian Q.}, ee = {https://doi.org/10.1609/aaai.v32i1.12107}, interhash = {8aa5d26d4b2fc1fb471cb244c12e59c4}, intrahash = {ddceb3d577b617737bfdae2a84cd3faa}, keywords = {dblp}, pages = {6485-6492}, publisher = {AAAI Press}, timestamp = {2024-04-09T18:09:31.000+0200}, 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 }