59 citations · 291 across the 45 of their papers we have counts for
3 papers · 1 filter
Model Repair Revamped: On the Automated Synthesis of Markov Chains
Milan Ceska, Christian Dehnert, Nils Jansen +2
This paper outlines two approaches|based on counterexample-guided abstraction refinement (CEGAR) and counterexample-guided inductive synthesis (CEGIS), respectively to the automate…
Bounded Model Checking for Probabilistic Programs
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…
Conditioning in Probabilistic Programming
Friedrich Gretz, Nils Jansen, Benjamin Lucien Kaminski +3
We investigate the semantic intricacies of conditioning, a main feature in probabilistic programming. We provide a weakest (liberal) pre-condition (w(l)p) semantics for the element…