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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.