@inproceedings{NEURIPS2021_5c5bc7df, author = {Berrada, Leonard and Dathathri, Sumanth and Dvijotham, Krishnamurthy and Stanforth, Robert and Bunel, Rudy R and Uesato, Jonathan and Gowal, Sven and Kumar, M. Pawan}, booktitle = {Advances in Neural Information Processing Systems}, editor = {M. Ranzato and A. Beygelzimer and Y. Dauphin and P.S. Liang and J. Wortman Vaughan}, pages = {11136--11147}, publisher = {Curran Associates, Inc.}, title = {Make Sure You\textquotesingle re Unsure: A Framework for Verifying Probabilistic Specifications}, url = {https://proceedings.neurips.cc/paper_files/paper/2021/file/5c5bc7df3d37b2a7ea29e1b47b2bd4ab-Paper.pdf}, volume = {34}, year = {2021} }