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

• Main Authors: 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