Bounded Model Checking for Temporal Epistemic Logic in Synchronous Multi-Agent Systems

• 有界模型检测同步多智体系统的时态认知逻辑