$$ \texttt {MC} ^ \texttt {2} \texttt {MABS} $$: A Monte Carlo Model Checker for Multiagent-Based Simulations

Benjamin Herd,Simon Miles,Peter McBurney,Michael Luck

Revised Selected Papers of the International Workshop on Multi-Agent Based Simulation XVI - Volume 9568（2015）

引用 4|浏览18

暂无评分

摘要

Agent-based simulation has shown great success for the study of complex adaptive systems and could in many areas show advantages over traditional analytical methods. Due to their internal complexity, however, agent-based simulations are notoriously difficult to verify and validate.

查看译文

关键词

Agent-based simulation,Verification,Formal methods,Testing

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要