Improved EGT-based robustness analysis of negotiation strategies in multiagent systems via model checking

by SONG, Songzheng, HAO, Jianye, LIU, Yang, SUN, Jun, LEUNG, Ho-fung, ZHANG, Jie
Published 2016

Analyzing multi-agent systems with probabilistic model checking approach

by SONG, Songzheng, HAO, Jianye, LIU, Yang, SUN, Jun, LEUNG, Ho-fung, DONG, Jin Song
Published 2012

Privacy-preserving mining of association rule on outsourced cloud data from multiple parties

by LIU, Lin, SU, Jinshu, CHEN, Rongmao, LIU, Ximeng, WANG, Xiaofeng, CHEN, Shuhui, LEUNG, Ho-fung Fung
Published 2018

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

by HAO, Jianye, SONG, Songzheng, LIU, Yang, SUN, Jun, GUI, Lin, DONG, Jin Song, LEUNG, Ho-fung
Published 2012