Abstract
We present two views of probabilistic programs and their relationship. An operational interpretation as well as a weakest precondition semantics are provided for an elementary probabilistic guarded command language. Our study treats important features such as sampling, conditioning, loop divergence, and non-determinism.
Cite
CITATION STYLE
APA
Katoen, J. P., Gretz, F., Jansen, N., Kaminski, B. L., & Olmedo, F. (2015). Understanding probabilistic programs. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 9360 LNCS, pp. 15–32). Springer Verlag. https://doi.org/10.1007/978-3-319-23506-6_4
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
Already have an account? Sign in
Sign up for free