A Stepwise Refinement Based Development of Self-Organizing Multi-Agent Systems: Application to the Foraging Ants-Reference-Cited by-同舟云学术

A Stepwise Refinement Based Development of Self-Organizing Multi-Agent Systems: Application to the Foraging Ants

Published:2014 Issue: Volume: Page:40-57
ISSN:0302-9743
Container-title:Engineering Multi-Agent Systems
language:
Short-container-title:

Author:

Graja Zeineb,Migeon Frédéric,Maurel Christine,Gleizes Marie-Pierre,Kacem Ahmed Hadj

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-14484-9_3

Reference14 articles.

1. Abrial, J.R.: Modelling in Event-B. Cambridge University Press (2010)

2. Bankes, S.C.: Robustness, adaptivity, and resiliency analysis. In: AAAI Fall Symposium: Complex Adaptive Systems. AAAI Technical Report, vol. FS-10-03. AAAI (2010)

3. Lecture Notes in Artificial Intelligence;C. Bernon,2007

4. Casadei, M., Viroli, M.: Using probabilistic model checking and simulation for designing self-organizing systems. In: SAC, pp. 2103–2104 (2009)

5. Lecture Notes in Computer Science;G.D.M. Serugendo,2009

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Logic-based technologies for multi-agent systems: a systematic literature review;Autonomous Agents and Multi-Agent Systems;2020-10-19

2. BECAMEDA: A Customizable Method to Specify and Verify the Behavior of Multi-agent Systems;Innovations in Smart Cities and Applications;2018

3. Fuzzy Labeled Transition Refinement Tree;Fuzzy Systems;2017

4. Relative Timed Model for Coordinated Multi Agent Systems;IFIP Advances in Information and Communication Technology;2015

5. Towards Agent Oriented Methodology;Proceedings of the The International Conference on Engineering & MIS 2015 - ICEMIS '15;2015