您当前的位置：
首页 >
文章列表页 >
Model Checking Algorithms for Epistemic Goals in Cooperative MultiAgent Systems
更新时间：2023-12-11
|

    • Model Checking Algorithms for Epistemic Goals in Cooperative MultiAgent Systems

    • Acta Scientiarum Naturalium Universitatis SunYatseni   Vol. 48, Issue 1, Pages: 110-112(2009)

    • Published：2009，

      Published Online：25 January 2009，

    扫 描 看 全 文

  • CHEN Qingliang, ZHU Keyi. Model Checking Algorithms for Epistemic Goals in Cooperative MultiAgent Systems. [J]. Acta Scientiarum Naturalium Universitatis SunYatseni 48(1):110-112(2009) DOI：

  •  
  •  

0

Views

131

下载量

0

CSCD

Alert me when the article has been cited
提交
Tools
Download
Export Citation
Share
Add to favorites
Add to my album

Related Articles

The Model of Checking Method Based on  Improved Computation Tree Logic Possibility Measure

Related Author

CHEN Yansheng
ZHANG Zanbo
WU Zhongkun
REN Jiangtao

Related Institution

Department of Environmental Engineering, Guangdong Industry Technical College, Guangzhou
Kun Shan University, Department of Information Management, Tainan
0