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

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