ArticlesA Generalisation of Stationary Distributions, and Probabilistic Program Algebra
Under a Creative Commons license
open access
Keywords
Probabilistic program semantics
probability
demonic nondeterminism
Markov process
stationary distribution
Markov decision processes
Cited by (0)
- 1
This work was done at Oxford University, UK, and was funded by the EPSRC.
Copyright © 2001 Published by Elsevier B.V.