Author:
Beese Jannis,Haki M. Kazem,Aier Stephan,Winter Robert
Publisher
Springer Science and Business Media LLC
Reference110 articles.
1. Adner R, Pólos L, Ryall M, Sorenson O (2009) The case for formal theory. Acad Manag Rev 34:201–208.
https://doi.org/10.5465/AMR.2009.36982613
2. Aminof B, Murano A, Rubin S, Zuleger F (2016) Automatic verification of multi-agent systems in parameterised grid-environments. In: Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems. Richland, pp 1190–1199
3. Arlot S, Celisse A (2010) A survey of cross-validation procedures for model selection. Stat Surv 4:40–79.
https://doi.org/10.1214/09-SS054
4. Ashish AK, Aghav J (2013) Automated techniques and tools for program analysis. In: Proceedings of the 4th International Conference on Computing, Communications and Networking Technologies. pp 1–7
5. Axelrod R (1997) Advancing the art of simulation in the social sciences. In: Conte R, Hegselmann R, Terna P (eds) Simulating social phenomena. Springer, Heidelberg, pp 21–40
Cited by
26 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献