Probabilistic temporal logics via the modal mu-calculus
Keywords: تقسیم احتمالی; Probabilistic transition systems; Reactive systems; Probabilistic temporal logic; Model-checking; Probabilistic bisimulation;