Publisher
Springer International Publishing
Reference18 articles.
1. Alrahman, Y.A., Perelli, G., Piterman, N.: Reconfigurable interaction for MAS modelling. In: Proceedings of the 19th International Conference on Autonomous Agents and MultiAgent Systems, pp. 7–15 (2020)
2. Abolhasanzadeh, B., Jalili, S.: Towards modeling and runtime verification of self-organizing systems. Expert Syst. Appl. 44, 230–244 (2016)
3. Agha, G., Palmskog, K.: A survey of statistical model checking. ACM Trans. Model. Comput. Simul. (TOMACS) 28(1), 1–39 (2018)
4. Aldini, A.: Design and verification of trusted collective adaptive systems. ACM Trans. Model. Comput. Simul. (TOMACS) 28(2), 1–27 (2018)
5. Bortolussi, L., Hillston, J., Latella, D., Massink, M.: Continuous approximation of collective system behaviour: a tutorial. Perform. Eval. 70(5), 317–349 (2013)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献