Verification of Broadcasting Multi-Agent Systems against an Epistemic Strategy Logic.

Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin

Browse the full IJCAI paper archive.