A Simple Probabilistic Extension of Modal Mu-calculus

Open in new window