He Zhu 0001, Zikang Xiong, Stephen Magill, Suresh Jagannathan
An inductive synthesis framework for verifiable reinforcement learning
PLDI, 2019.
@inproceedings{PLDI-2019-ZhuXMJ,
author = "He Zhu 0001 and Zikang Xiong and Stephen Magill and Suresh Jagannathan",
booktitle = "{Proceedings of the 40th Conference on Programming Language Design and Implementation}",
doi = "10.1145/3314221.3314638",
isbn = "978-1-4503-6712-7",
pages = "686--701",
publisher = "{ACM}",
title = "{An inductive synthesis framework for verifiable reinforcement learning}",
year = 2019,
}