Publisher
Springer International Publishing
Reference9 articles.
1. Bordini, R., Fisher, M., Pardavila, C., Wooldridge, M.: Model-checking AgentSpeak. In: AAMAS 2003, Melbourne, Australia (2003)
2. Clear-Sy: B for free,
http://www.b4free.com
3. Dennis, L., Fisher, M., Webster, M., Bordini, R.: Model Checking Agent Programming Languages. Automated Software Engeneering Journal 19(1), 3–63 (2012)
4. Holzmann, G.J.: The Model Checker SPIN. IEEE Trans. Softw. Eng. 23, 279–295 (1997),
http://dl.acm.org/citation.cfm?id=260897.260902
, doi:10.1109/32.588521
5. Kacprzak, M., Lomuscio, A., Penczek, W.: Verification of multiagent systems via unbounded model checking. In: Autonomous Agents and Multi-Agent Systems (AAMAS 2004) (2004)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. How Variables Graphs May Help to Correct Erroneous MAS Specifications;Lecture Notes in Networks and Systems;2024
2. Using Proof Failures to Help Debugging MAS;Proceedings of the 11th International Conference on Agents and Artificial Intelligence;2019