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.
• Other Authors: TEMASEK LABORATORIES
• Format: Conference or Workshop Item
• Published: 2014
• Online Access: http://scholarbank.nus.edu.sg/handle/10635/78297
• Institution: National University of Singapore

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