UCL Discovery
UCL home » Library Services » Electronic resources » UCL Discovery

Understanding Probabilistic Programs

Katoen, J-P; Gretz, F; Jansen, N; Kaminski, BL; Olmedo, F; (2015) Understanding Probabilistic Programs. In: Meyer, R and Platzer, A and Wehrheim, H, (eds.) Correct System Design: Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday. (pp. pp. 15-32). Springer, Cham: Oldenburg, Germany. Green open access

[thumbnail of main.pdf]
Preview
Text
main.pdf - Accepted version

Download (365kB) | Preview

Abstract

We present two views of probabilistic programs and their relationship. An operational interpretation as well as a weakest pre-condition semantics are provided for an elementary probabilistic guarded command language. Our study treats important features such as sampling, conditioning, loop divergence, and non-determinism.

Type: Proceedings paper
Title: Understanding Probabilistic Programs
Event: Festschrift Symposium in Honor of Ernst-Rudiger Olderog on the Occasion of His 60th Birthday
Location: Oldenburg, GERMANY
Dates: 08 September 2015 - 09 September 2015
ISBN-13: 978-3-319-23505-9
Open access status: An open access version is available from UCL Discovery
DOI: 10.1007/978-3-319-23506-6_4
Publisher version: https://doi.org/10.1007/978-3-319-23506-6_4
Language: English
Additional information: This version is the author accepted manuscript. For information on re-use, please refer to the publisher’s terms and conditions.
UCL classification: UCL
UCL > Provost and Vice Provost Offices > UCL BEAMS
UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science
UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science > Dept of Computer Science
URI: https://discovery.ucl.ac.uk/id/eprint/10089698
Downloads since deposit
30Downloads
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months

Archive Staff Only

View Item View Item