Kouvaros and Lomuscio. "Verifying Fault-Tolerance in Parameterised Multi-Agent Systems." International Joint Conference on Artificial Intelligence, 2017. doi:10.24963/IJCAI.2017/41
Markdown
[Kouvaros and Lomuscio. "Verifying Fault-Tolerance in Parameterised Multi-Agent Systems." International Joint Conference on Artificial Intelligence, 2017.](https://mlanthology.org/ijcai/2017/kouvaros2017ijcai-verifying/) doi:10.24963/IJCAI.2017/41
BibTeX
@inproceedings{kouvaros2017ijcai-verifying,
title = {{Verifying Fault-Tolerance in Parameterised Multi-Agent Systems}},
author = {Kouvaros, Panagiotis and Lomuscio, Alessio},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2017},
pages = {288-294},
doi = {10.24963/IJCAI.2017/41},
url = {https://mlanthology.org/ijcai/2017/kouvaros2017ijcai-verifying/}
}