A Three-Value Abstraction Technique for the Verification of Epistemic Properties in Multi-agent Systems.

Francesco Belardinelli, Alessio Lomuscio

Browse the full JELIA paper archive.