Model Checking for Multi-Agent Systems Modeled By Epistemic Process Calculus. - Qixian Yu; Zining Cao; Zong Hui; Yuan Zhou (CoRR, 2025)