Author Archives: Joost-Pieter Katoen

On The Semantic Intricacies of Conditioning

We discuss semantic intricacies of conditioning, a main feature in probabilistic programming, and propose how to deal with these issues in an operational way and in a weakest pre-condition semantics. This includes the interplay between conditioning and possible non-termination as well as between conditioning and non-determinism.
Furthermore, we propose a program transformation that eliminates conditioning from programs at the expense of introducing loops.

Friedrich Gretz, Nils Jansen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, and Federico Olmedo (RWTH Aachen University)

On The Semantic Intricacies of Conditioning (Extended Abstract, PDF)

Conditioning in Probabilistic Programming (Technical Report, PDF)

Posted in Uncategorized | Leave a comment