Analyzing multi-agent systems with probabilistic model checking approach

• Main Authors: Song, S., Hao, J., Liu, Y., Sun, J., Leung, H.-F., Dong, J.S.
• 其他作者: TEMASEK LABORATORIES
• 格式: Conference or Workshop Item
• 出版: 2013
• 主題: Multi-agent systems; Probabilistic model checking
• 在線閱讀: http://scholarbank.nus.edu.sg/handle/10635/43162

10.1109/ICSE.2012.6227085