On the Formal Verification of Diffusion Phenomena in Open Dynamic Agent Networks



Belardinelli, Francesco, Grossi, Davide ORCID: 0000-0002-9709-030X and ACM,
(2015) On the Formal Verification of Diffusion Phenomena in Open Dynamic Agent Networks. .

[img] Text
camera_ready_aamas15.pdf - Unspecified

Download (333kB)
Item Type: Conference or Workshop Item (Unspecified)
Uncontrolled Keywords: Agent Networks, Diffusion Phenomena, First-order Temporal Logic
Depositing User: Symplectic Admin
Date Deposited: 05 May 2016 15:55
Last Modified: 15 Apr 2021 07:14
Related URLs:
URI: https://livrepository.liverpool.ac.uk/id/eprint/3000637