Model Checking for Multi-Agent Systems Modeled By Epistemic Process Calculus

Qixian Yu, Zining Cao, Zong Hui +1

This paper presents a comprehensive framework for modeling and verifying multi-agent systems. The paper introduce an Epistemic Process Calculus for multi-agent systems, which forma…