From Distributions to Probabilistic Reactive Programs

Abstract

We have introduced probability in the UTP framework by using functions from the state space to real numbers, which we term distributions, that are embedded in the predicates describing the different program constructs. This has allowed us to derive a probabilistic theory of designs starting from a probabilistic version of the relational theory, and… (More)
DOI: 10.1007/978-3-642-39718-9_6

Topics

3 Figures and Tables

Slides referencing similar topics