@inproceedings{NEURIPS2020_448d5eda, author = {Anderson, Greg and Verma, Abhinav and Dillig, Isil and Chaudhuri, Swarat}, booktitle = {Advances in Neural Information Processing Systems}, editor = {H. Larochelle and M. Ranzato and R. Hadsell and M.F. Balcan and H. Lin}, pages = {6172--6183}, publisher = {Curran Associates, Inc.}, title = {Neurosymbolic Reinforcement Learning with Formally Verified Exploration}, url = {https://proceedings.neurips.cc/paper_files/paper/2020/file/448d5eda79895153938a8431919f4c9f-Paper.pdf}, volume = {33}, year = {2020} }