Quantitative analysis of multi-agent systems through statistical verification of simulation traces.
Benjamin HerdSimon MilesPeter McBurneyMichael LuckPublished in: Int. J. Agent Oriented Softw. Eng. (2018)
Keyphrases
- quantitative analysis
- multi agent systems
- qualitative analysis
- qualitative evaluation
- simulation model
- agent architecture
- qualitative and quantitative analysis
- agent systems
- statistical models
- data driven
- statistical analysis
- agent technology
- information theoretic
- agent platform
- simulation environment
- simulation models
- cell nuclei
- colored petri nets
- model checking
- cell segmentation