Finite Abstractions for the Verification of Epistemic Properties in Open Multi-Agent Systems.

Francesco Belardinelli, Davide Grossi, Alessio Lomuscio

Browse the full IJCAI paper archive.