Belardinelli et al. "Parameterised Verification of Data-Aware Multi-Agent Systems." International Joint Conference on Artificial Intelligence, 2017. doi:10.24963/IJCAI.2017/15
Markdown
[Belardinelli et al. "Parameterised Verification of Data-Aware Multi-Agent Systems." International Joint Conference on Artificial Intelligence, 2017.](https://mlanthology.org/ijcai/2017/belardinelli2017ijcai-parameterised/) doi:10.24963/IJCAI.2017/15
BibTeX
@inproceedings{belardinelli2017ijcai-parameterised,
title = {{Parameterised Verification of Data-Aware Multi-Agent Systems}},
author = {Belardinelli, Francesco and Kouvaros, Panagiotis and Lomuscio, Alessio},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2017},
pages = {98-104},
doi = {10.24963/IJCAI.2017/15},
url = {https://mlanthology.org/ijcai/2017/belardinelli2017ijcai-parameterised/}
}