A Novel Symbolic Approach to Verifying Epistemic Properties of Programs.

Nikos Gorogiannis, Franco Raimondi, Ioana Boureanu

Browse the full IJCAI paper archive.