ML Anthology

Verifying Emergent Properties of Swarms

Panagiotis Kouvaros, Alessio Lomuscio
IJCAI 2015 pp. 1083-1089
/ijcai/2015/kouvaros2015ijcai-verifying/
IJCAI Semantic Scholar

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/}
}