Computer Science ›› 2009, Vol. 36 ›› Issue (5): 214-219.
Previous Articles Next Articles
CHEN Bin WANG Zhi-xue （Institute of Command Automation, PLA University of Science and Technology, Nanjing 210007, China）
Online:
Published:
Abstract: Temporal epistemic logics have been gradually used in specification of multiple agents system, which are composed by temporal logics and epistemic logics. Most of temporal epistemic logics are based on CTL, which have a limited expressivity. And some mode
Key words: Symbolic model checking, Multiple agent system, Temporal epistemic logic
CHEN Bin WANG Zhi-xue （Institute of Command Automation, PLA University of Science and Technology, Nanjing 210007, China）. [J].Computer Science, 2009, 36(5): 214-219.
0 / / Recommend
Add to citation manager EndNote|Reference Manager|ProCite|BibTeX|RefWorks
URL: https://www.jsjkx.com/EN/
https://www.jsjkx.com/EN/Y2009/V36/I5/214
Cited
Home