@inproceedings{NEURIPS2018_e6d8545d, author = {Bastani, Osbert and Pu, Yewen and Solar-Lezama, Armando}, booktitle = {Advances in Neural Information Processing Systems}, editor = {S. Bengio and H. Wallach and H. Larochelle and K. Grauman and N. Cesa-Bianchi and R. Garnett}, pages = {}, publisher = {Curran Associates, Inc.}, title = {Verifiable Reinforcement Learning via Policy Extraction}, url = {https://proceedings.neurips.cc/paper_files/paper/2018/file/e6d8545daa42d5ced125a4bf747b3688-Paper.pdf}, volume = {31}, year = {2018} }