位置：成果数据库 > 会议 > 会议详情页
Model Checking for Real-Time T
  • 所属机构名称：南京航空航天大学
  • 成果类型：会议
  • 相关项目：面向多Agent系统模型检测的逻辑和算法
作者： Zining Cao*
同会议论文项目
面向多Agent系统模型检测的逻辑和算法
期刊论文 8 会议论文 12
同项目会议论文
Equivalence Checking for a Fin
Model Checking for Epistemic a
A Logic for Distributed Higher
More on Bisimulations for High
A Spatial Logical Characterisa
Towards an Epistemic Logic for
A Complete Probabilistic Belie
Verifying Real-Time Temporal,
Representing and Verifying Tem
Axiomatising a Linear Higher O
Bisimulations for a Distribute