TY  - RPRT
TI  - Make Sure You're Unsure: A Framework for Verifying Probabilistic Specifications
AU  - Leonard Berrada
AU  - Sumanth Dathathri
AU  - Krishnamurthy Dvijotham
AU  - Robert Stanforth
AU  - Rudy Bunel
AU  - Jonathan Uesato
AU  - Sven Gowal
AU  - M. Pawan Kumar
PY  - 2021
UR  - https://arxiv.org/abs/2102.09479
ID  - 2102.09479
ER  -