@inproceedings{ijcai2017p15, author = {Francesco Belardinelli and Panagiotis Kouvaros and Alessio Lomuscio}, title = {Parameterised Verification of Data-aware Multi-Agent Systems}, booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, {IJCAI-17}}, pages = {98--104}, year = {2017}, doi = {10.24963/ijcai.2017/15}, url = {https://doi.org/10.24963/ijcai.2017/15}, }