Weijian Tang, Keming Wang. Automatic Generation of Test Cases of Multi-Agent Systems Based on Model Checking. In Shuwei Chen, Jie Hu 0007, Tianrui Li 0001, Luís Martínez 0001, Jun Liu, editors, 16th International Conference on Intelligent Systems and Knowledge Engineering, ISKE 2021, Chengdu, China, November 26-28, 2021. pages 24-29, IEEE, 2021. [doi]
Abstract is missing.