Author:
Mohajeri Parizi Mostafa,Sileno Giovanni,van Engers Tom
Publisher
Springer International Publishing
Reference42 articles.
1. Software testing services market by product, end-users, and geography - global forecast and analysis 2019–2023 (2019). https://www.industryresearch.co/software-testing-services-market-14620379
2. Bakar, N.A., Selamat, A.: Agent systems verification : systematic literature review and mapping. Appl. Intell. 48(5), 1251–1274 (2018). https://doi.org/10.1007/s10489-017-1112-z
3. Behrens, T.M., Dix, J.: Model checking multi-agent systems with logic based Petri nets. Ann. Math. Artif. Intell. 51(2–4), 81–121 (2007). https://doi.org/10.1007/s10472-008-9092-7
4. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);RH Bordini,2004
5. Bordini, R.H., Fisher, M., Visser, W., Wooldridge, M.: Verifying multi-agent programs by model checking. Auton. Agent. Multi-Agent Syst. 12(2), 239–256 (2006). https://doi.org/10.1007/s10458-006-5955-7
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献