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

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

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

Saved in:
Bibliographic Details
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
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: National University of Singapore

Internet

http://scholarbank.nus.edu.sg/handle/10635/78297

Similar Items