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: bib