Verifying Emergent Properties of Swarms
Abstract
We investigate the general problem of establishing whether a swarm satisfies an emergent property. We put forward a formal model for swarms that accounts for their nature of unbounded collections of agents following simple local protocols. We formally define the decision problem of determining whether a swarm satisfies an emergent property. We introduce a sound and complete procedure for solving the problem. We illustrate the technique by applying it to the Beta aggregation algorithm.
Cite
Text
Kouvaros and Lomuscio. "Verifying Emergent Properties of Swarms." International Joint Conference on Artificial Intelligence, 2015.Markdown
[Kouvaros and Lomuscio. "Verifying Emergent Properties of Swarms." International Joint Conference on Artificial Intelligence, 2015.](https://mlanthology.org/ijcai/2015/kouvaros2015ijcai-verifying/)BibTeX
@inproceedings{kouvaros2015ijcai-verifying,
title = {{Verifying Emergent Properties of Swarms}},
author = {Kouvaros, Panagiotis and Lomuscio, Alessio},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2015},
pages = {1083-1089},
url = {https://mlanthology.org/ijcai/2015/kouvaros2015ijcai-verifying/}
}