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.

Hao, J., S. Song, Y. Liu, J. Sun, L. Gui, J.S Dong, H.-F Leung, و TEMASEK LABORATORIES. Probabilistic Model Checking Multi-agent Behaviors in Dispersion Games Using Counter Abstraction. 2014.

Hao, J., et al. Probabilistic Model Checking Multi-agent Behaviors in Dispersion Games Using Counter Abstraction. 2014.