research
∙
07/24/2023
Template-Based Static Posterior Inference for Bayesian Probabilistic Programming
In Bayesian probabilistic programming, a central problem is to estimate ...
share
research
∙
11/21/2022
BBReach: Tight and Scalable Black-Box Reachability Analysis of Deep Reinforcement Learning Systems
Reachability analysis is a promising technique to automatically prove or...
research
∙
02/13/2019
Proving Expected Sensitivity of Probabilistic Programs with Randomized Execution Time
The notion of program sensitivity (aka Lipschitz continuity) specifies t...
research
∙
02/12/2019