Automatically Verifying Expressive Epistemic Properties of Programs.

Francesco Belardinelli, Ioana Boureanu, Vadim Malvone, Fortunat Rajaona

Browse the full AAAI paper archive.