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
• Format: text
• Language: English
• Published: Institutional Knowledge at Singapore Management University 2016
• Subjects: Automated Negotiation; Robustness Analysis; Empirical Game Theory; Model Checking; Software Engineering; Theory and Algorithms
• Online Access: https://ink.library.smu.edu.sg/sis_research/4971; https://ink.library.smu.edu.sg/context/sis_research/article/5974/viewcontent/thms.pdf
• Institution: 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...