@misc{indiciaea24c13493a66,
  title = {Model Checking for Multi-Agent Systems Modeled By Epistemic Process Calculus},
  author = {Qixian Yu and Zining Cao and Zong Hui and Yuan Zhou},
  year = {2025},
  url = {https://arxiv.org/abs/2501.18155},
  note = {Source identifier: 2501.18155}
}