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.
• Other Authors: TEMASEK LABORATORIES
• Format: Conference or Workshop Item
• Published: 2013
• Subjects: Multi-agent systems; Probabilistic model checking
• Online Access: http://scholarbank.nus.edu.sg/handle/10635/43162
• Institution: National University of Singapore

10.1109/ICSE.2012.6227085