A Simple Probabilistic Extension of Modal Mu-calculus.

Wanwei Liu, Lei Song, Ji Wang, Lijun Zhang

Browse the full IJCAI paper archive.