TY  - RPRT
TI  - A Simple Probabilistic Extension of Modal Mu-calculus
AU  - Wanwei Liu
AU  - Lei Song
AU  - Ji Wang
AU  - Lijun Zhang
PY  - 2015
UR  - https://arxiv.org/abs/1504.07737
ID  - 1504.07737
ER  -