ML Anthology

A Simple Probabilistic Extension of Modal Mu-Calculus

Wanwei Liu, Lei Song, Ji Wang, Lijun Zhang
IJCAI 2015 pp. 882-888
/ijcai/2015/liu2015ijcai-simple/
IJCAI Semantic Scholar

Cite

Text

Liu et al. "A Simple Probabilistic Extension of Modal Mu-Calculus." International Joint Conference on Artificial Intelligence, 2015.

Markdown

[Liu et al. "A Simple Probabilistic Extension of Modal Mu-Calculus." International Joint Conference on Artificial Intelligence, 2015.](https://mlanthology.org/ijcai/2015/liu2015ijcai-simple/)

BibTeX

@inproceedings{liu2015ijcai-simple,
  title     = {{A Simple Probabilistic Extension of Modal Mu-Calculus}},
  author    = {Liu, Wanwei and Song, Lei and Wang, Ji and Zhang, Lijun},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2015},
  pages     = {882-888},
  url       = {https://mlanthology.org/ijcai/2015/liu2015ijcai-simple/}
}