DeepMind, London, United Kingdom
Leonard Berrada, Sumanth Dathathri, Krishnamurthy Dvijotham, Robert Stanforth, Rudy Bunel, Jonathan Uesato, Sven Gowal, M. Pawan Kumar
Verification;Safety;Optimization
Make Sure You're Unsure: A Framework for Verifying Probabilistic Specifications