Gorogiannis et al. "A Novel Symbolic Approach to Verifying Epistemic Properties of Programs." International Joint Conference on Artificial Intelligence, 2017. doi:10.24963/IJCAI.2017/30
Markdown
[Gorogiannis et al. "A Novel Symbolic Approach to Verifying Epistemic Properties of Programs." International Joint Conference on Artificial Intelligence, 2017.](https://mlanthology.org/ijcai/2017/gorogiannis2017ijcai-novel/) doi:10.24963/IJCAI.2017/30
BibTeX
@inproceedings{gorogiannis2017ijcai-novel,
title = {{A Novel Symbolic Approach to Verifying Epistemic Properties of Programs}},
author = {Gorogiannis, Nikos and Raimondi, Franco and Boureanu, Ioana},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2017},
pages = {206-212},
doi = {10.24963/IJCAI.2017/30},
url = {https://mlanthology.org/ijcai/2017/gorogiannis2017ijcai-novel/}
}