1 research outputs found
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 di er-
ent program constructs. This has allowed us to derive a probabilistic
theory of designs starting from a probabilistic version of the relational
theory, and continuing further down this road we can get to a theory
of probabilistic reactive programs. This paper presents the route that
connects these steps, and discusses the challenges lying ahead in view of
a probabilistic CSP based on distributions