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]
Abstract is missing.