Parameterised Verification of Data-aware Multi-Agent Systems.

Francesco Belardinelli, Panagiotis Kouvaros, Alessio Lomuscio

Browse the full IJCAI paper archive.