Model Checking for Multi-Agent Systems Modeled by Epistemic Process Calculus
Qixian Yu 1, Zining Cao 1,2,3, Zong Hui 1,4 and Yuan Zhou 1, 1 Nanjing University of Aeronautics and Astronautics, China 2 Ministry Key Laboratory for Safety-Critical Software Development and Verification, P. R. China, 3 Collaborative Innovation Center of Novel Software Technology and
Industrialization, P. R. China, 4 Huaiyin Institute Of Technology, P. R. China
