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

• Main Authors: SONG, Songzheng, HAO, Jianye, LIU, Yang, SUN, Jun, LEUNG, Ho-fung, ZHANG, Jie
• 格式: text
• 語言: English
• 出版: Institutional Knowledge at Singapore Management University 2016
• 主題: Automated Negotiation; Robustness Analysis; Empirical Game Theory; Model Checking; Software Engineering; Theory and Algorithms
• 在線閱讀: https://ink.library.smu.edu.sg/sis_research/4971; https://ink.library.smu.edu.sg/context/sis_research/article/5974/viewcontent/thms.pdf
• 機構: Singapore Management University

Automated negotiations play an important role in various domains modeled as multiagent systems, where agents represent human users and adopt different negotiation strategies. Generally, given a multiagent system, a negotiation strategy should be robust in the sense that most agents in the system hav...