{"id":"https://openalex.org/W2296740370","doi":"https://doi.org/10.1109/thms.2015.2429573","title":"Improved EGT-Based Robustness Analysis of Negotiation Strategies in Multiagent Systems via Model Checking","display_name":"Improved EGT-Based Robustness Analysis of Negotiation Strategies in Multiagent Systems via Model Checking","publication_year":2015,"publication_date":"2015-05-15","ids":{"openalex":"https://openalex.org/W2296740370","doi":"https://doi.org/10.1109/thms.2015.2429573","mag":"2296740370"},"language":"en","primary_location":{"id":"doi:10.1109/thms.2015.2429573","is_oa":false,"landing_page_url":"https://doi.org/10.1109/thms.2015.2429573","pdf_url":null,"source":{"id":"https://openalex.org/S2476799526","display_name":"IEEE Transactions on Human-Machine Systems","issn_l":"2168-2291","issn":["2168-2291","2168-2305"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Human-Machine Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://ink.library.smu.edu.sg/sis_research/4971","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5053707252","display_name":"Songzheng Song","orcid":"https://orcid.org/0000-0002-3265-0257"},"institutions":[{"id":"https://openalex.org/I172675005","display_name":"Nanyang Technological University","ror":"https://ror.org/02e7b5302","country_code":"SG","type":"education","lineage":["https://openalex.org/I172675005"]}],"countries":["SG"],"is_corresponding":true,"raw_author_name":"Songzheng Song","raw_affiliation_strings":["Autodesk, Singapore","Nanyang Technological University, Singapore"],"affiliations":[{"raw_affiliation_string":"Autodesk, Singapore","institution_ids":[]},{"raw_affiliation_string":"Nanyang Technological University, Singapore","institution_ids":["https://openalex.org/I172675005"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5047509839","display_name":"Jianye Hao","orcid":"https://orcid.org/0000-0002-0422-8235"},"institutions":[{"id":"https://openalex.org/I4210095816","display_name":"Tianjin Tianhe Hospital","ror":"https://ror.org/00k5k8k03","country_code":"CN","type":"healthcare","lineage":["https://openalex.org/I4210095816"]},{"id":"https://openalex.org/I5740404","display_name":"Tianjin Medical University","ror":"https://ror.org/02mh8wx89","country_code":"CN","type":"education","lineage":["https://openalex.org/I5740404"]},{"id":"https://openalex.org/I152815399","display_name":"Singapore University of Technology and Design","ror":"https://ror.org/05j6fvn87","country_code":"SG","type":"education","lineage":["https://openalex.org/I152815399"]}],"countries":["CN","SG"],"is_corresponding":false,"raw_author_name":"Jianye Hao","raw_affiliation_strings":["Singapore University of Technology and Design, Singapore","Tian Jin University, Tianjin, China"],"affiliations":[{"raw_affiliation_string":"Singapore University of Technology and Design, Singapore","institution_ids":["https://openalex.org/I152815399"]},{"raw_affiliation_string":"Tian Jin University, Tianjin, China","institution_ids":["https://openalex.org/I4210095816","https://openalex.org/I5740404"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100355692","display_name":"Yang Liu","orcid":"https://orcid.org/0000-0001-7300-9215"},"institutions":[{"id":"https://openalex.org/I172675005","display_name":"Nanyang Technological University","ror":"https://ror.org/02e7b5302","country_code":"SG","type":"education","lineage":["https://openalex.org/I172675005"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Yang Liu","raw_affiliation_strings":["Nanyang Technological University, Singapore"],"affiliations":[{"raw_affiliation_string":"Nanyang Technological University, Singapore","institution_ids":["https://openalex.org/I172675005"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100429004","display_name":"Jun Sun","orcid":"https://orcid.org/0000-0002-3545-1392"},"institutions":[{"id":"https://openalex.org/I152815399","display_name":"Singapore University of Technology and Design","ror":"https://ror.org/05j6fvn87","country_code":"SG","type":"education","lineage":["https://openalex.org/I152815399"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Jun Sun","raw_affiliation_strings":["Singapore University of Technology and Design, Singapore"],"affiliations":[{"raw_affiliation_string":"Singapore University of Technology and Design, Singapore","institution_ids":["https://openalex.org/I152815399"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5022683388","display_name":"Ho-fung Leung","orcid":"https://orcid.org/0000-0003-4914-2934"},"institutions":[{"id":"https://openalex.org/I177725633","display_name":"Chinese University of Hong Kong","ror":"https://ror.org/00t33hh48","country_code":"CN","type":"education","lineage":["https://openalex.org/I177725633"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Ho-Fung Leung","raw_affiliation_strings":["Chinese University of Hong Kong, Hong Kong"],"affiliations":[{"raw_affiliation_string":"Chinese University of Hong Kong, Hong Kong","institution_ids":["https://openalex.org/I177725633"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100436760","display_name":"Jie Zhang","orcid":"https://orcid.org/0000-0002-5348-7671"},"institutions":[{"id":"https://openalex.org/I172675005","display_name":"Nanyang Technological University","ror":"https://ror.org/02e7b5302","country_code":"SG","type":"education","lineage":["https://openalex.org/I172675005"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Jie Zhang","raw_affiliation_strings":["Nanyang Technological University, Singapore"],"affiliations":[{"raw_affiliation_string":"Nanyang Technological University, Singapore","institution_ids":["https://openalex.org/I172675005"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5053707252"],"corresponding_institution_ids":["https://openalex.org/I172675005"],"apc_list":null,"apc_paid":null,"fwci":2.2255,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.9094904,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":"46","issue":"2","first_page":"197","last_page":"208"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9944999814033508,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9943000078201294,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/robustness","display_name":"Robustness (evolution)","score":0.8568354845046997},{"id":"https://openalex.org/keywords/negotiation","display_name":"Negotiation","score":0.7811030745506287},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.750417947769165},{"id":"https://openalex.org/keywords/multi-agent-system","display_name":"Multi-agent system","score":0.4688754081726074},{"id":"https://openalex.org/keywords/game-theory","display_name":"Game theory","score":0.453000009059906},{"id":"https://openalex.org/keywords/nash-equilibrium","display_name":"Nash equilibrium","score":0.42596733570098877},{"id":"https://openalex.org/keywords/incentive","display_name":"Incentive","score":0.41955018043518066},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.3258567154407501},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.30549314618110657},{"id":"https://openalex.org/keywords/mathematical-economics","display_name":"Mathematical economics","score":0.1459425389766693},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.11881455779075623},{"id":"https://openalex.org/keywords/microeconomics","display_name":"Microeconomics","score":0.11750435829162598},{"id":"https://openalex.org/keywords/economics","display_name":"Economics","score":0.07774141430854797}],"concepts":[{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.8568354845046997},{"id":"https://openalex.org/C199776023","wikidata":"https://www.wikidata.org/wiki/Q202875","display_name":"Negotiation","level":2,"score":0.7811030745506287},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.750417947769165},{"id":"https://openalex.org/C41550386","wikidata":"https://www.wikidata.org/wiki/Q529909","display_name":"Multi-agent system","level":2,"score":0.4688754081726074},{"id":"https://openalex.org/C177142836","wikidata":"https://www.wikidata.org/wiki/Q44455","display_name":"Game theory","level":2,"score":0.453000009059906},{"id":"https://openalex.org/C46814582","wikidata":"https://www.wikidata.org/wiki/Q23389","display_name":"Nash equilibrium","level":2,"score":0.42596733570098877},{"id":"https://openalex.org/C29122968","wikidata":"https://www.wikidata.org/wiki/Q1414816","display_name":"Incentive","level":2,"score":0.41955018043518066},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.3258567154407501},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.30549314618110657},{"id":"https://openalex.org/C144237770","wikidata":"https://www.wikidata.org/wiki/Q747534","display_name":"Mathematical economics","level":1,"score":0.1459425389766693},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.11881455779075623},{"id":"https://openalex.org/C175444787","wikidata":"https://www.wikidata.org/wiki/Q39072","display_name":"Microeconomics","level":1,"score":0.11750435829162598},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.07774141430854797},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/thms.2015.2429573","is_oa":false,"landing_page_url":"https://doi.org/10.1109/thms.2015.2429573","pdf_url":null,"source":{"id":"https://openalex.org/S2476799526","display_name":"IEEE Transactions on Human-Machine Systems","issn_l":"2168-2291","issn":["2168-2291","2168-2305"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Human-Machine Systems","raw_type":"journal-article"},{"id":"pmh:oai:ink.library.smu.edu.sg:sis_research-5974","is_oa":true,"landing_page_url":"https://ink.library.smu.edu.sg/sis_research/4971","pdf_url":null,"source":{"id":"https://openalex.org/S4377196871","display_name":"Institutional Knowledge (InK) - Institutional Knowledge at Singapore Management University (Singapore Management University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I79891267","host_organization_name":"Singapore Management University","host_organization_lineage":["https://openalex.org/I79891267"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"https://doi.org/10.1109/THMS.2015.2429573","raw_type":"Journal Article"}],"best_oa_location":{"id":"pmh:oai:ink.library.smu.edu.sg:sis_research-5974","is_oa":true,"landing_page_url":"https://ink.library.smu.edu.sg/sis_research/4971","pdf_url":null,"source":{"id":"https://openalex.org/S4377196871","display_name":"Institutional Knowledge (InK) - Institutional Knowledge at Singapore Management University (Singapore Management University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I79891267","host_organization_name":"Singapore Management University","host_organization_lineage":["https://openalex.org/I79891267"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"https://doi.org/10.1109/THMS.2015.2429573","raw_type":"Journal Article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/17","score":0.4399999976158142,"display_name":"Partnerships for the goals"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":45,"referenced_works":["https://openalex.org/W33609907","https://openalex.org/W65260526","https://openalex.org/W1498432697","https://openalex.org/W1503757665","https://openalex.org/W1515421996","https://openalex.org/W1555742330","https://openalex.org/W1557172391","https://openalex.org/W1580689883","https://openalex.org/W1756737887","https://openalex.org/W1756958128","https://openalex.org/W1859458367","https://openalex.org/W2001907002","https://openalex.org/W2005998857","https://openalex.org/W2046135868","https://openalex.org/W2048340696","https://openalex.org/W2060331105","https://openalex.org/W2095156325","https://openalex.org/W2106272197","https://openalex.org/W2109485736","https://openalex.org/W2110872636","https://openalex.org/W2115309705","https://openalex.org/W2118382442","https://openalex.org/W2118994458","https://openalex.org/W2120515470","https://openalex.org/W2123675832","https://openalex.org/W2129901874","https://openalex.org/W2133055577","https://openalex.org/W2145899763","https://openalex.org/W2154534427","https://openalex.org/W2161936342","https://openalex.org/W2164464108","https://openalex.org/W2167149475","https://openalex.org/W2271558670","https://openalex.org/W2340735175","https://openalex.org/W2399297057","https://openalex.org/W2580645530","https://openalex.org/W2913459036","https://openalex.org/W3144368627","https://openalex.org/W4210886820","https://openalex.org/W4252707658","https://openalex.org/W4254929694","https://openalex.org/W6630017461","https://openalex.org/W6633192199","https://openalex.org/W6677918779","https://openalex.org/W6712441314"],"related_works":["https://openalex.org/W2322802588","https://openalex.org/W2069705450","https://openalex.org/W2401058949","https://openalex.org/W4230237643","https://openalex.org/W4312141693","https://openalex.org/W1536009559","https://openalex.org/W1969185016","https://openalex.org/W2103821767","https://openalex.org/W2111030377","https://openalex.org/W2037619003"],"abstract_inverted_index":{"Automated":[0],"negotiations":[1],"play":[2],"an":[3],"important":[4],"role":[5],"in":[6,34,40,140,146,183,203],"various":[7],"domains":[8],"modeled":[9,101],"as":[10,102],"multiagent":[11,26],"systems,":[12],"where":[13],"agents":[14,39,178],"represent":[15,118],"human":[16],"users":[17],"and":[18,132,155,213],"adopt":[19],"different":[20,67,134,167,204],"negotiation":[21,29,92,220],"strategies.":[22,52,93,168,221],"Generally,":[23],"given":[24],"a":[25,28,58,71,103],"system,":[27],"strategy":[30,97,120,152],"should":[31],"be":[32,85,100],"robust":[33,195],"the":[35,41,44,64,108,119,164,171,175,193],"sense":[36],"that":[37,81,208],"most":[38,194],"system":[42,106],"have":[43],"incentive":[45],"to":[46,62,87,117,162,191,215],"choose":[47],"it":[48],"rather":[49],"than":[50],"other":[51],"Empirical":[53],"game-theoretic":[54,59],"(EGT)":[55],"analysis":[56,60,90,218],"is":[57,133,211],"approach":[61],"investigate":[63,163],"robustness":[65,165,187,217],"of":[66,73,96,166,185,219],"strategies":[68,173],"based":[69],"on":[70,126],"set":[72],"empirical":[74,150],"results.":[75],"In":[76,189],"this":[77],"study,":[78],"we":[79,197],"propose":[80],"model-checking":[82],"techniques":[83],"can":[84,99],"adopted":[86],"improve":[88],"EGT":[89,147],"for":[91],"The":[94],"dynamics":[95],"profiles":[98],"labeled":[104],"transition":[105],"using":[107],"counter":[109],"abstraction":[110],"technique.":[111],"We":[112,206],"define":[113],"single-agent":[114,137],"best":[115,129,136,156],"deviation":[116,130,138],"deviations":[121],"during":[122],"negotiation,":[123],"which":[124],"focuses":[125],"each":[127],"agent's":[128],"benefit":[131],"from":[135,174],"used":[139],"previous":[141],"work.":[142],"Two":[143],"interesting":[144],"properties":[145],"analysis,":[148],"i.e.,":[149],"pure":[151],"Nash":[153],"equilibrium":[154],"reply":[157],"cycle,":[158],"are":[159,181],"automatically":[160],"verified":[161],"For":[169],"demonstration,":[170],"top-six":[172],"automated":[176],"negotiating":[177],"competition":[179],"2010-2012":[180],"studied":[182],"terms":[184],"their":[186],"performance.":[188],"addition":[190],"identifying":[192],"strategies,":[196],"supply":[198],"complete":[199],"rankings":[200],"among":[201],"them":[202],"settings.":[205],"show":[207],"model":[209],"checking":[210],"applicable":[212],"efficient":[214],"perform":[216]},"counts_by_year":[{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}