Panagiotis Kouvaros, Alessio Lomuscio. Formal Verification of Opinion Formation in Swarms. In Catholijn M. Jonker, Stacy Marsella, John Thangarajah, Karl Tuyls, editors, Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, Singapore, May 9-13, 2016. pages 1200-1208, ACM, 2016. [doi]
@inproceedings{KouvarosL16-0,
title = {Formal Verification of Opinion Formation in Swarms},
author = {Panagiotis Kouvaros and Alessio Lomuscio},
year = {2016},
url = {http://dl.acm.org/citation.cfm?id=2937099},
researchr = {https://researchr.org/publication/KouvarosL16-0},
cites = {0},
citedby = {0},
pages = {1200-1208},
booktitle = {Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, Singapore, May 9-13, 2016},
editor = {Catholijn M. Jonker and Stacy Marsella and John Thangarajah and Karl Tuyls},
publisher = {ACM},
isbn = {978-1-4503-4239-1},
}