A Simple Probabilistic Extension of Modal Mu-calculus

Wanwei Liu, Lei Song, Ji Wang, Lijun Zhang. A Simple Probabilistic Extension of Modal Mu-calculus. In Qiang Yang 0001, Michael Wooldridge, editors, Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015. pages 882-888, AAAI Press, 2015. [doi]

Authors

Wanwei Liu

This author has not been identified. Look up 'Wanwei Liu' in Google

Lei Song

This author has not been identified. Look up 'Lei Song' in Google

Ji Wang

This author has not been identified. Look up 'Ji Wang' in Google

Lijun Zhang

This author has not been identified. It may be one of the following persons: Look up 'Lijun Zhang' in Google