From Distributions to Probabilistic Reactive Programs


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


3 Figures and Tables

Slides referencing similar topics