Probabilistic model checking multi-agent behaviors in dispersion games using counter abstraction

• المؤلفون الرئيسيون: Hao, J., Song, S., Liu, Y., Sun, J., Gui, L., Dong, J.S., Leung, H.-F.
• مؤلفون آخرون: TEMASEK LABORATORIES
• التنسيق: Conference or Workshop Item
• منشور في: 2014
• الوصول للمادة أونلاين: http://scholarbank.nus.edu.sg/handle/10635/78297

10.1007/978-3-642-32729-2-2