ML Anthology

Gorogiannis, Nikos

1 publications

IJCAI 2017 A Novel Symbolic Approach to Verifying Epistemic Properties of Programs Nikos Gorogiannis, Franco Raimondi, Ioana Boureanu