7 citations · 24 across the 8 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2021
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…
cs.PL2015★ 7 cited
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…