X-machines as a basis for dynamic system specification
Software Engineering Journal
Biologically inspired approaches to robotics: what can we learn from insects?
Communications of the ACM
Software Engineering Economics
Software Engineering Economics
Bio-Inspired and Nanoscale Integrated Computing
Bio-Inspired and Nanoscale Integrated Computing
Biologically-Inspired Computing for the Arts: Scientific Data through Graphics
Biologically-Inspired Computing for the Arts: Scientific Data through Graphics
Hi-index | 0.00 |
Modelling and verification of multi-agent systems present many interesting challenges, especially when it comes to reliability and robustness. Among other characteristics, many of these systems are commonly composed of spatial properties which typically cannot be formally verified due to combinatorial explosion. Verification of these systems can be supported by observing the visual outcome of executable simulation scenarios and comparing it with the expected behaviour of the system. In some cases this can lead to identifying new patterns of behaviour (emergence). This work reviews three different simulation platforms, namely NetLogo, Repast and Flame, under various performance factors, such as modelling, implementation, verification, testing, visualisation, etc. The results of the comparative study show their advantages and disadvantages when it comes to simulating state-based multi-agent models with spatial characteristics.