{"id":"https://openalex.org/W4225756091","doi":"https://doi.org/10.1145/3533767.3534388","title":"MDPFuzz: testing models solving Markov decision processes","display_name":"MDPFuzz: testing models solving Markov decision processes","publication_year":2022,"publication_date":"2022-07-15","ids":{"openalex":"https://openalex.org/W4225756091","doi":"https://doi.org/10.1145/3533767.3534388"},"language":"en","primary_location":{"id":"doi:10.1145/3533767.3534388","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3533767.3534388","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis","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/A5019211490","display_name":"Qi Pang","orcid":"https://orcid.org/0000-0001-7747-0332"},"institutions":[{"id":"https://openalex.org/I200769079","display_name":"Hong Kong University of Science and Technology","ror":"https://ror.org/00q4vv597","country_code":"HK","type":"education","lineage":["https://openalex.org/I200769079"]}],"countries":["HK"],"is_corresponding":true,"raw_author_name":"Qi Pang","raw_affiliation_strings":["Hong Kong University of Science and Technology, China"],"affiliations":[{"raw_affiliation_string":"Hong Kong University of Science and Technology, China","institution_ids":["https://openalex.org/I200769079"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5024293177","display_name":"Yuanyuan Yuan","orcid":"https://orcid.org/0000-0002-3053-8923"},"institutions":[{"id":"https://openalex.org/I200769079","display_name":"Hong Kong University of Science and Technology","ror":"https://ror.org/00q4vv597","country_code":"HK","type":"education","lineage":["https://openalex.org/I200769079"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Yuanyuan Yuan","raw_affiliation_strings":["Hong Kong University of Science and Technology, China"],"affiliations":[{"raw_affiliation_string":"Hong Kong University of Science and Technology, China","institution_ids":["https://openalex.org/I200769079"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100328264","display_name":"Shuai Wang","orcid":"https://orcid.org/0000-0002-0866-0308"},"institutions":[{"id":"https://openalex.org/I200769079","display_name":"Hong Kong University of Science and Technology","ror":"https://ror.org/00q4vv597","country_code":"HK","type":"education","lineage":["https://openalex.org/I200769079"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Shuai Wang","raw_affiliation_strings":["Hong Kong University of Science and Technology, China"],"affiliations":[{"raw_affiliation_string":"Hong Kong University of Science and Technology, China","institution_ids":["https://openalex.org/I200769079"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5019211490"],"corresponding_institution_ids":["https://openalex.org/I200769079"],"apc_list":null,"apc_paid":null,"fwci":4.8268,"has_fulltext":false,"cited_by_count":36,"citation_normalized_percentile":{"value":0.95558559,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":96,"max":100},"biblio":{"volume":null,"issue":null,"first_page":"378","last_page":"390"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.9991999864578247,"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/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.9991999864578247,"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/T11099","display_name":"Autonomous Vehicle Technology and Safety","score":0.9957000017166138,"subfield":{"id":"https://openalex.org/subfields/2203","display_name":"Automotive Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11512","display_name":"Anomaly Detection Techniques and Applications","score":0.9909999966621399,"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/markov-decision-process","display_name":"Markov decision process","score":0.8389650583267212},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7788984179496765},{"id":"https://openalex.org/keywords/reinforcement-learning","display_name":"Reinforcement learning","score":0.7679083347320557},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.6614058017730713},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.5508421659469604},{"id":"https://openalex.org/keywords/frame","display_name":"Frame (networking)","score":0.5325388312339783},{"id":"https://openalex.org/keywords/partially-observable-markov-decision-process","display_name":"Partially observable Markov decision process","score":0.5263746380805969},{"id":"https://openalex.org/keywords/markov-process","display_name":"Markov process","score":0.4842047691345215},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.46991482377052307},{"id":"https://openalex.org/keywords/imitation","display_name":"Imitation","score":0.42726999521255493},{"id":"https://openalex.org/keywords/robot","display_name":"Robot","score":0.4153193235397339},{"id":"https://openalex.org/keywords/markov-chain","display_name":"Markov chain","score":0.3794868588447571},{"id":"https://openalex.org/keywords/markov-model","display_name":"Markov model","score":0.30220139026641846}],"concepts":[{"id":"https://openalex.org/C106189395","wikidata":"https://www.wikidata.org/wiki/Q176789","display_name":"Markov decision process","level":3,"score":0.8389650583267212},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7788984179496765},{"id":"https://openalex.org/C97541855","wikidata":"https://www.wikidata.org/wiki/Q830687","display_name":"Reinforcement learning","level":2,"score":0.7679083347320557},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.6614058017730713},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.5508421659469604},{"id":"https://openalex.org/C126042441","wikidata":"https://www.wikidata.org/wiki/Q1324888","display_name":"Frame (networking)","level":2,"score":0.5325388312339783},{"id":"https://openalex.org/C17098449","wikidata":"https://www.wikidata.org/wiki/Q176814","display_name":"Partially observable Markov decision process","level":4,"score":0.5263746380805969},{"id":"https://openalex.org/C159886148","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov process","level":2,"score":0.4842047691345215},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.46991482377052307},{"id":"https://openalex.org/C126388530","wikidata":"https://www.wikidata.org/wiki/Q1131737","display_name":"Imitation","level":2,"score":0.42726999521255493},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.4153193235397339},{"id":"https://openalex.org/C98763669","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov chain","level":2,"score":0.3794868588447571},{"id":"https://openalex.org/C163836022","wikidata":"https://www.wikidata.org/wiki/Q6771326","display_name":"Markov model","level":3,"score":0.30220139026641846},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C77805123","wikidata":"https://www.wikidata.org/wiki/Q161272","display_name":"Social psychology","level":1,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3533767.3534388","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3533767.3534388","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis","raw_type":"proceedings-article"},{"id":"pmh:oai:repository.hkust.edu.hk:1783.1-121070","is_oa":false,"landing_page_url":"http://lbdiscover.ust.hk/uresolver?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rfr_id=info:sid/HKUST:SPI&rft.genre=article&rft.issn=&rft.volume=&rft.issue=&rft.date=2022&rft.spage=378&rft.aulast=Pang&rft.aufirst=&rft.atitle=MDPFuzz%3A+Testing+models+solving+Markov+decision+processes&rft.title=ISSTA+2022+-+Proceedings+of+the+31st+ACM+SIGSOFT+International+Symposium+on+Software+Testing+and+Analysis","pdf_url":null,"source":{"id":"https://openalex.org/S4306401796","display_name":"Rare & Special e-Zone (The Hong Kong University of Science and Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I200769079","host_organization_name":"Hong Kong University of Science and Technology","host_organization_lineage":["https://openalex.org/I200769079"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Conference paper"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.8100000023841858,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":41,"referenced_works":["https://openalex.org/W1598133101","https://openalex.org/W1686266550","https://openalex.org/W1977655452","https://openalex.org/W1995688924","https://openalex.org/W2022686119","https://openalex.org/W2049633694","https://openalex.org/W2099618002","https://openalex.org/W2115733720","https://openalex.org/W2187089797","https://openalex.org/W2324595780","https://openalex.org/W2488678869","https://openalex.org/W2535617737","https://openalex.org/W2616028256","https://openalex.org/W2617809069","https://openalex.org/W2730550703","https://openalex.org/W2804337238","https://openalex.org/W2809701591","https://openalex.org/W2888307014","https://openalex.org/W2896500468","https://openalex.org/W2897535010","https://openalex.org/W2912817604","https://openalex.org/W2962755762","https://openalex.org/W2963327228","https://openalex.org/W2964241064","https://openalex.org/W2966348700","https://openalex.org/W2979828283","https://openalex.org/W2982365423","https://openalex.org/W2997101648","https://openalex.org/W3002440596","https://openalex.org/W3007157104","https://openalex.org/W3034445502","https://openalex.org/W3035671939","https://openalex.org/W3047375952","https://openalex.org/W3089794841","https://openalex.org/W3091407209","https://openalex.org/W3103148066","https://openalex.org/W3105507623","https://openalex.org/W3112716182","https://openalex.org/W3121694563","https://openalex.org/W3124118940","https://openalex.org/W4287829139"],"related_works":["https://openalex.org/W2096013579","https://openalex.org/W52153049","https://openalex.org/W1760611253","https://openalex.org/W1515117609","https://openalex.org/W1589140671","https://openalex.org/W4323315247","https://openalex.org/W2294884454","https://openalex.org/W3169161914","https://openalex.org/W4321379664","https://openalex.org/W2211790881"],"abstract_inverted_index":{"The":[0,31],"Markov":[1],"decision":[2],"process":[3],"(MDP)":[4],"provides":[5],"a":[6],"mathematical":[7],"frame-":[8],"work":[9],"for":[10,42],"modeling":[11],"sequential":[12],"decision-making":[13],"problems,":[14],"many":[15],"of":[16,34],"which":[17],"are":[18,64],"crucial":[19],"to":[20],"security":[21],"and":[22,28,54],"safety,":[23],"such":[24,45],"as":[25,46],"autonomous":[26],"driving":[27],"robot":[29],"control.":[30],"rapid":[32],"development":[33],"artificial":[35],"intelligence":[36],"research":[37],"has":[38],"created":[39],"efficient":[40],"methods":[41],"solving":[43,62],"MDPs,":[44],"deep":[47],"neural":[48],"networks":[49],"(DNNs),":[50],"reinforcement":[51],"learning":[52,56],"(RL),":[53],"imitation":[55],"(IL).":[57],"However,":[58],"these":[59],"popular":[60],"models":[61],"MDPs":[63],"neither":[65],"thoroughly":[66],"tested":[67],"nor":[68],"rigorously":[69],"reliable.":[70]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":14},{"year":2024,"cited_by_count":13},{"year":2023,"cited_by_count":8}],"updated_date":"2026-03-31T07:56:22.981413","created_date":"2025-10-10T00:00:00"}