Hao, J., Song, S., Liu, Y., Sun, J., Gui, L., Dong, J., . . . LABORATORIES, T. (2014). Probabilistic model checking multi-agent behaviors in dispersion games using counter abstraction.
Chicago Style CitationHao, J., S. Song, Y. Liu, J. Sun, L. Gui, J.S Dong, H.-F Leung, and TEMASEK LABORATORIES. Probabilistic Model Checking Multi-agent Behaviors in Dispersion Games Using Counter Abstraction. 2014.
MLA CitationHao, J., et al. Probabilistic Model Checking Multi-agent Behaviors in Dispersion Games Using Counter Abstraction. 2014.
Warning: These citations may not always be 100% accurate.