Francesco Belardinelli, Davide Grossi. On the Formal Verification of Diffusion Phenomena in Open Dynamic Agent Networks. In Gerhard Weiss, Pinar Yolum, Rafael H. Bordini, Edith Elkind, editors, Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2015, Istanbul, Turkey, May 4-8, 2015. pages 237-245, ACM, 2015. [doi]
Abstract is missing.