{"id":"https://openalex.org/W3143351831","doi":"https://doi.org/10.1109/icse.2012.6227085","title":"Analyzing multi-agent systems with probabilistic model checking approach","display_name":"Analyzing multi-agent systems with probabilistic model checking approach","publication_year":2012,"publication_date":"2012-06-01","ids":{"openalex":"https://openalex.org/W3143351831","doi":"https://doi.org/10.1109/icse.2012.6227085","mag":"3143351831"},"language":"en","primary_location":{"id":"doi:10.1109/icse.2012.6227085","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icse.2012.6227085","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2012 34th International Conference on Software Engineering (ICSE)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"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/I165932596","display_name":"National University of Singapore","ror":"https://ror.org/01tgyzw49","country_code":"SG","type":"education","lineage":["https://openalex.org/I165932596"]}],"countries":["SG"],"is_corresponding":true,"raw_author_name":"Songzheng Song","raw_affiliation_strings":["Graduate School for Integrative Sciences and Engineering, National University of Singapore, Singapore"],"affiliations":[{"raw_affiliation_string":"Graduate School for Integrative Sciences and Engineering, National University of Singapore, Singapore","institution_ids":["https://openalex.org/I165932596"]}]},{"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/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":"Jianye Hao","raw_affiliation_strings":["Department of Computer Science and Engineering, Chinese University of Hong Kong, China"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, Chinese University of Hong Kong, China","institution_ids":["https://openalex.org/I177725633"]}]},{"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/I165932596","display_name":"National University of Singapore","ror":"https://ror.org/01tgyzw49","country_code":"SG","type":"education","lineage":["https://openalex.org/I165932596"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Yang Liu","raw_affiliation_strings":["Temasek Lab, National University of Singapore, Singapore"],"affiliations":[{"raw_affiliation_string":"Temasek Lab, National University of Singapore, Singapore","institution_ids":["https://openalex.org/I165932596"]}]},{"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":["ISTD, Singapore University of Technology and Design, Singapore"],"affiliations":[{"raw_affiliation_string":"ISTD, 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":["Department of Computer Science and Engineering, Chinese University of Hong Kong, China"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, Chinese University of Hong Kong, China","institution_ids":["https://openalex.org/I177725633"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5085067496","display_name":"Jin Song Dong","orcid":"https://orcid.org/0000-0002-6512-8326"},"institutions":[{"id":"https://openalex.org/I165932596","display_name":"National University of Singapore","ror":"https://ror.org/01tgyzw49","country_code":"SG","type":"education","lineage":["https://openalex.org/I165932596"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Jin Song Dong","raw_affiliation_strings":["School of Computing, National University of Singapore, Singapore"],"affiliations":[{"raw_affiliation_string":"School of Computing, National University of Singapore, Singapore","institution_ids":["https://openalex.org/I165932596"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5053707252"],"corresponding_institution_ids":["https://openalex.org/I165932596"],"apc_list":null,"apc_paid":null,"fwci":0.6739,"has_fulltext":false,"cited_by_count":9,"citation_normalized_percentile":{"value":0.74468931,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"1337","last_page":"1340"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9979000091552734,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9979000091552734,"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.9977999925613403,"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/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.9952999949455261,"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/correctness","display_name":"Correctness","score":0.8608429431915283},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.7965247631072998},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7825928926467896},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.59231036901474},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.5624814033508301},{"id":"https://openalex.org/keywords/probabilistic-ctl","display_name":"Probabilistic CTL","score":0.5427243709564209},{"id":"https://openalex.org/keywords/multi-agent-system","display_name":"Multi-agent system","score":0.49316948652267456},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4392624497413635},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.39936068654060364},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.35035908222198486},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.21301883459091187},{"id":"https://openalex.org/keywords/probabilistic-analysis-of-algorithms","display_name":"Probabilistic analysis of algorithms","score":0.19336310029029846}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.8608429431915283},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.7965247631072998},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7825928926467896},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.59231036901474},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.5624814033508301},{"id":"https://openalex.org/C52063229","wikidata":"https://www.wikidata.org/wiki/Q7246845","display_name":"Probabilistic CTL","level":4,"score":0.5427243709564209},{"id":"https://openalex.org/C41550386","wikidata":"https://www.wikidata.org/wiki/Q529909","display_name":"Multi-agent system","level":2,"score":0.49316948652267456},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4392624497413635},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.39936068654060364},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.35035908222198486},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.21301883459091187},{"id":"https://openalex.org/C24404364","wikidata":"https://www.wikidata.org/wiki/Q7246846","display_name":"Probabilistic analysis of algorithms","level":3,"score":0.19336310029029846},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/icse.2012.6227085","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icse.2012.6227085","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2012 34th International Conference on Software Engineering (ICSE)","raw_type":"proceedings-article"},{"id":"pmh:oai:scholarbank.nus.edu.sg:10635/43162","is_oa":false,"landing_page_url":"http://scholarbank.nus.edu.sg/handle/10635/43162","pdf_url":null,"source":{"id":"https://openalex.org/S7407052290","display_name":"National University of Singapore","issn_l":null,"issn":[],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Scopus","raw_type":"Conference Paper"},{"id":"pmh:oai:research-repository.griffith.edu.au:10072/172976","is_oa":false,"landing_page_url":"http://hdl.handle.net/10072/172976","pdf_url":null,"source":{"id":"https://openalex.org/S4306402548","display_name":"Griffith Research Online (Griffith University, Queensland, Australia)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I11701301","host_organization_name":"Griffith University","host_organization_lineage":["https://openalex.org/I11701301"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Conference output"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":19,"referenced_works":["https://openalex.org/W1507793072","https://openalex.org/W1515421996","https://openalex.org/W1534744419","https://openalex.org/W1790874646","https://openalex.org/W1859458367","https://openalex.org/W2014852613","https://openalex.org/W2024664992","https://openalex.org/W2029586423","https://openalex.org/W2110930028","https://openalex.org/W2146819619","https://openalex.org/W2166857474","https://openalex.org/W2950280874","https://openalex.org/W4244435490","https://openalex.org/W6630358671","https://openalex.org/W6630774044","https://openalex.org/W6638317260","https://openalex.org/W6639015652","https://openalex.org/W6656436062","https://openalex.org/W6676485847"],"related_works":["https://openalex.org/W1497573972","https://openalex.org/W2138707849","https://openalex.org/W2289277223","https://openalex.org/W4390481443","https://openalex.org/W3097218026","https://openalex.org/W4391528888","https://openalex.org/W4238495367","https://openalex.org/W2749065928","https://openalex.org/W1499367685","https://openalex.org/W2225666389"],"abstract_inverted_index":{"Multi-agent":[0],"systems,":[1,71],"which":[2],"are":[3,83,104],"composed":[4],"of":[5,27,35,70,77,94],"autonomous":[6,37],"agents,":[7,38],"have":[8,42],"been":[9],"successfully":[10],"employed":[11],"as":[12,106],"a":[13],"modeling":[14,60],"paradigm":[15],"in":[16],"many":[17],"scenarios.":[18],"However,":[19],"it":[20],"is":[21,64],"challenging":[22],"to":[23,31,50,55,66,85],"guarantee":[24],"the":[25,32,36,92],"correctness":[26],"their":[28],"behaviors":[29],"due":[30],"complex":[33],"nature":[34],"especially":[39],"when":[40],"they":[41],"stochastic":[43],"characteristics.":[44],"In":[45],"this":[46],"work,":[47],"we":[48],"propose":[49],"apply":[51],"probabilistic":[52,81],"model":[53],"checking":[54],"analyze":[56,86],"multi-agent":[57],"systems.":[58],"A":[59],"language":[61],"called":[62],"PMA":[63],"defined":[65],"specify":[67],"such":[68],"kind":[69],"and":[72,75,101],"LTL":[73],"property":[74],"logic":[76],"knowledge":[78],"combined":[79],"with":[80],"requirements":[82],"supported":[84],"system":[87],"behaviors.":[88],"Initial":[89],"evaluation":[90],"indicates":[91],"effectiveness":[93],"our":[95,107],"current":[96],"progress;":[97],"meanwhile":[98],"some":[99],"challenges":[100],"possible":[102],"solutions":[103],"discussed":[105],"ongoing":[108],"work.":[109]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}