Songzheng Song, Jianye Hao, Yang Liu 0003, Jun Sun 0001, Ho-Fung Leung, Jie Zhang 0002. Improved EGT-Based Robustness Analysis of Negotiation Strategies in Multiagent Systems via Model Checking. IEEE T. Human-Machine Systems, 46(2):197-208, 2016. [doi]
Abstract is missing.