Publisher
Springer International Publishing
Reference41 articles.
1. Lecture Notes in Computer Science;S Bensalem,2008
2. Bordini, R.H., Fisher, M., Visser, W., Wooldridge, M.: Verifying multi-agent programs by model checking. Auton. Agents Multi-Agent Syst. 12(2), 239–256 (2006). https://doi.org/10.1007/s10458-006-5955-7
3. Brooks, R.A., Flynn, A.M.: Fast, cheap and out of control: a robot invasion of the solar system. J. Br. Interplanet. Soc. 42, 478–485 (1989)
4. Lecture Notes in Computer Science;EM Clarke,1982
5. Crowston, K., Rezgui, A.: Effects of stigmergic and explicit coordination on Wikipedia article quality. In: HICSS. ScholarSpace (2020)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Modelling flocks of birds and colonies of ants from the bottom up;International Journal on Software Tools for Technology Transfer;2023-11-02
2. Compositional verification of priority systems using sharp bisimulation;Formal Methods in System Design;2023-05-17
3. Compositional Verification of Stigmergic Collective Systems;Lecture Notes in Computer Science;2023
4. Modelling Flocks of Birds from the Bottom Up;Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning;2022