$$ \texttt {MC} ^ \texttt {2} \texttt {MABS} $$ MC 2 MABS : A Monte Carlo Model Checker for Multiagent-Based Simulations-Reference-Cited by-同舟云学术

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

Published:2016 Issue: Volume: Page:37-54
ISSN:0302-9743
Container-title:Multi-Agent Based Simulation XVI
language:
Short-container-title:

Author:

Herd Benjamin,Miles Simon,McBurney Peter,Luck Michael

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-31447-1_3

Reference39 articles.

1. MC $$^{2}$$ 2 MABS. https://github.com/bherd/mc2mabs . Accessed February 2015

2. Baier, C., Katoen, J.-P.: Principles of Model Checking. The MIT Press, Cambridge (2008)

3. Lecture Notes in Computer Science;P Ballarini,2009

4. Bharathy, G.K., Silverman, B.: Validating agent based social systems models. In: Proceedings of the Winter Simulation Conference, pp. 441–453. Winter Simulation Conference (2010)

5. Bosse, T., Mogles, N.: Comparing modelling approaches in aviation safety. In: Curran, R. (eds.) Proceedings of the 4th International Air Transport and Operations Symposium, Toulouse, France (2013)

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

1. Short Duration Aggregate Statistical Model Checking for Multi-Agent Systems;PRIMA 2020: Principles and Practice of Multi-Agent Systems;2021

2. DyNeMoC: Statistical Model Checking for Agent Based Systems on Graphs;PRIMA 2019: Principles and Practice of Multi-Agent Systems;2019

3. Uncertainty Assessment in Agent-Based Simulation: An Exploratory Study;Multi-Agent Based Simulation XVIII;2018

4. Uncertainty Assessment in Agent-Based Simulation: An Exploratory Study;Autonomous Agents and Multiagent Systems;2017

5. The Role of Agent-Based Simulation in Education;Communications in Computer and Information Science;2016