Publication

[FuTHSFZ22] Model Checking for Probabilistic Multiagent Systems Fu, C.; Turrini, A.; Huang, X.; Song, L.; Feng, Y. and Zhang, L. In Journal of Computer Science and Technology, 2022. doi.. 
Downloads: bibURL: https://jcst.ict.ac.cn/EN/10.1007/s11390-022-1218-6