Make Sure You're Unsure: A Framework for Verifying Probabilistic Specifications

Open in new window