@inproceedings{ijcai2017p41, author = {Panagiotis Kouvaros and Alessio Lomuscio}, title = {Verifying Fault-tolerance in Parameterised Multi-Agent Systems}, booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, {IJCAI-17}}, pages = {288--294}, year = {2017}, doi = {10.24963/ijcai.2017/41}, url = {https://doi.org/10.24963/ijcai.2017/41}, }