Automatic verification of epistemic specifications under convergent equational theories.

Ioana Boureanu, Andrew V. Jones, Alessio Lomuscio

Browse the full AAMAS paper archive.