时态认知逻辑论文

多智能体系统的符号模型检测
论文摘要模型检测作为一种有限状态系统的自动化验证技术已得到广泛应用，最近该技术在规划和多智能体系统(MAS)等人工智能领域的应用也越来越受到重视，MAS领域强调智能体的自治性和...