AI帮你理解科学

AI 生成解读视频

AI抽取解析论文重点内容自动生成视频


pub
生成解读视频

AI 溯源

AI解析本论文相关学术脉络


Master Reading Tree
生成 溯源树

MCMAS: A Model Checker for the Verification of Multi-Agent Systems

CAV, pp.682-688, (2009)

被引用339|浏览13
EI
下载 PDF 全文
引用

摘要

While temporal logic in its various forms has proven essential to reason about reactive systems, agent-based scenarios are typically specified by considering high-level agents attitudes. In particular, specification languages based on epistemic logic [7], or logics for knowledge, have proven useful in a variety of areas including robotics...更多

代码

数据

您的评分 :
0

 

标签
评论
小科