Model Checking for Probabilistic Multiagent Systems
Crossref DOI link: https://doi.org/10.1007/s11390-022-1218-6
Published Online: 2023-09-30
Published Print: 2023-09
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Fu, Chen
Turrini, Andrea
Huang, Xiaowei
Song, Lei
Feng, Yuan
Zhang, Li-Jun
Text and Data Mining valid from 2023-09-01
Version of Record valid from 2023-09-01
Article History
Received: 13 December 2020
Accepted: 27 March 2022
First Online: 30 September 2023