Publisher
Springer International Publishing
Reference12 articles.
1. Agha, G., Palmskog, K.: A survey of statistical model checking. ACM Trans. Model. Comput. Simul. 28(1), 6:1–6:39 (2018)
2. Studies in Computational Intelligence;S Arora,2019
3. Baier, C., Katoen, J.P.: Principles of Model Checking (Representation and Mind Series). The MIT Press, Cambridge (2008)
4. Herd, B.: Statistical runtime verification of agent-based simulations. King’s College of London (2015)
5. Herd, B., Miles, S., McBurney, P., Luck, M.: MC$${}^{\text{2}}$$MABS: a Monte Carlo model checker for multiagent-based simulations. In: Multi-agent-Based Simulation XVI - International Workshop, MABS 2015, Istanbul, Turkey, 5 May 2015, Revised Selected Papers, pp. 37–54 (2015)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献