8 citations · 20 across the 5 of their papers we have counts for
1 paper · 2 filters
Nils Jansen, Christian Dehnert, Benjamin Lucien Kaminski +2
In this paper we investigate the applicability of standard model checking approaches to verifying properties in probabilistic programming. As the operational model for a standard p…