%0 Conference Paper %1 conf/pldi/ZhuXMJ19 %A Zhu, He %A Xiong, Zikang %A Magill, Stephen %A Jagannathan, Suresh %B PLDI %D 2019 %E McKinley, Kathryn S. %E Fisher, Kathleen %I ACM %K dblp %P 686-701 %T An inductive synthesis framework for verifiable reinforcement learning. %U http://dblp.uni-trier.de/db/conf/pldi/pldi2019.html#ZhuXMJ19 %@ 978-1-4503-6712-7

@inproceedings{conf/pldi/ZhuXMJ19, added-at = {2019-10-21T00:00:00.000+0200}, author = {Zhu, He and Xiong, Zikang and Magill, Stephen and Jagannathan, Suresh}, biburl = {https://www.bibsonomy.org/bibtex/23fbf766a4c5a2e93497be5591bbeca60/dblp}, booktitle = {PLDI}, crossref = {conf/pldi/2019}, editor = {McKinley, Kathryn S. and Fisher, Kathleen}, ee = {https://doi.org/10.1145/3314221.3314638}, interhash = {36e1b707daa1d534f6ec6fc9fb9cf7a4}, intrahash = {3fbf766a4c5a2e93497be5591bbeca60}, isbn = {978-1-4503-6712-7}, keywords = {dblp}, pages = {686-701}, publisher = {ACM}, timestamp = {2019-10-22T14:31:44.000+0200}, title = {An inductive synthesis framework for verifiable reinforcement learning.}, url = {http://dblp.uni-trier.de/db/conf/pldi/pldi2019.html#ZhuXMJ19}, year = 2019 }