@inproceedings{ijcai2017p30, author = {Nikos Gorogiannis and Franco Raimondi and Ioana Boureanu }, title = {A Novel Symbolic Approach to Verifying Epistemic Properties of Programs}, booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, {IJCAI-17}}, pages = {206--212}, year = {2017}, doi = {10.24963/ijcai.2017/30}, url = {https://doi.org/10.24963/ijcai.2017/30}, }