Model Checking for Probabilistic Multiagent Systems
Chen Fu1,2(付辰), Andrea Turrini1,3, Xiaowei Huang4(黄小炜), Lei Song5(宋磊), Yuan Feng6(冯元), and Lijun Zhang1,2,3(张立军), Senior Member, CCF
1State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing 100190, China 2University of Chinese Academy of Sciences, Beijing 100049, China 3Institute of Intelligent Software, Guangzhou 511455, China 4Department of Computer Science, University of Liverpool, Liverpool L693BX, U.K. 5Microsoft Research, Beijing 100190, China 6Centre for Quantum Software and Information, University of Technology Sydney, Sydney 2007, Australia
Chen Fu, Andrea Turrini, Xiaowei Huang, Lei Song, Yuan Feng, and Lijun Zhang. Model Checking for Probabilistic Multiagent Systems[J].Journal of Computer Science and Technology, 0, (): 1-.
Journal of Computer Science and Technology
Institute of Computing Technology, Chinese Academy of Sciences
P.O. Box 2704, Beijing 100190 P.R. China
Tel.:86-10-62610746
E-mail: jcst@ict.ac.cn