TY  - RPRT
TI  - An Inductive Synthesis Framework for Verifiable Reinforcement Learning
AU  - He Zhu
AU  - Zikang Xiong
AU  - Stephen Magill
AU  - Suresh Jagannathan
PY  - 2019
DO  - 10.1145/3314221.3314638
UR  - https://arxiv.org/abs/1907.07273
ID  - 1907.07273
ER  -