ML Anthology

Alternating Epistemic Mu-Calculus

Nils Bulling, Wojciech Jamroga
IJCAI 2011 pp. 109-114
doi:10.5591/978-1-57735-516-8/IJCAI11-030 /ijcai/2011/bulling2011ijcai-alternating/
IJCAI Semantic Scholar

Cite

Text

Bulling and Jamroga. "Alternating Epistemic Mu-Calculus." International Joint Conference on Artificial Intelligence, 2011. doi:10.5591/978-1-57735-516-8/IJCAI11-030

Markdown

[Bulling and Jamroga. "Alternating Epistemic Mu-Calculus." International Joint Conference on Artificial Intelligence, 2011.](https://mlanthology.org/ijcai/2011/bulling2011ijcai-alternating/) doi:10.5591/978-1-57735-516-8/IJCAI11-030

BibTeX

@inproceedings{bulling2011ijcai-alternating,
  title     = {{Alternating Epistemic Mu-Calculus}},
  author    = {Bulling, Nils and Jamroga, Wojciech},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2011},
  pages     = {109-114},
  doi       = {10.5591/978-1-57735-516-8/IJCAI11-030},
  url       = {https://mlanthology.org/ijcai/2011/bulling2011ijcai-alternating/}
}