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.
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 |
Archive Staff Only
 |
View Item |
