{"id":"https://openalex.org/W4410841348","doi":"https://doi.org/10.1145/3725728","title":"An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits","display_name":"An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits","publication_year":2025,"publication_date":"2025-05-29","ids":{"openalex":"https://openalex.org/W4410841348","doi":"https://doi.org/10.1145/3725728"},"language":"en","primary_location":{"id":"doi:10.1145/3725728","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3725728","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3725728","source":{"id":"https://openalex.org/S103482838","display_name":"Communications of the ACM","issn_l":"0001-0782","issn":["0001-0782","1557-7317"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Communications of the ACM","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3725728","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5048614307","display_name":"Yu\u2010Fang Chen","orcid":"https://orcid.org/0000-0003-2872-0336"},"institutions":[{"id":"https://openalex.org/I4210098366","display_name":"Institute of Information Science, Academia Sinica","ror":"https://ror.org/00z83z196","country_code":"TW","type":"facility","lineage":["https://openalex.org/I4210098366","https://openalex.org/I84653119"]}],"countries":["TW"],"is_corresponding":true,"raw_author_name":"Yu-Fang Chen","raw_affiliation_strings":["Academia Sinica, Institute of Information Science, Taipei, Taiwan"],"affiliations":[{"raw_affiliation_string":"Academia Sinica, Institute of Information Science, Taipei, Taiwan","institution_ids":["https://openalex.org/I4210098366"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100679596","display_name":"Kai-Min Chung","orcid":"https://orcid.org/0000-0002-3356-369X"},"institutions":[{"id":"https://openalex.org/I4210098366","display_name":"Institute of Information Science, Academia Sinica","ror":"https://ror.org/00z83z196","country_code":"TW","type":"facility","lineage":["https://openalex.org/I4210098366","https://openalex.org/I84653119"]}],"countries":["TW"],"is_corresponding":false,"raw_author_name":"Kai-Min Chung","raw_affiliation_strings":["Academia Sinica, Institute of Information Science, Taipei, Taiwan"],"affiliations":[{"raw_affiliation_string":"Academia Sinica, Institute of Information Science, Taipei, Taiwan","institution_ids":["https://openalex.org/I4210098366"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5063557188","display_name":"Ond\u0159ej Leng\u00e1l","orcid":"https://orcid.org/0000-0002-3038-5875"},"institutions":[{"id":"https://openalex.org/I60587646","display_name":"Brno University of Technology","ror":"https://ror.org/03613d656","country_code":"CZ","type":"education","lineage":["https://openalex.org/I60587646"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"Ond\u0159ej Leng\u00e1l","raw_affiliation_strings":["Brno University of Technology, Faculty of Information Technology, Brno, Czech Republic"],"affiliations":[{"raw_affiliation_string":"Brno University of Technology, Faculty of Information Technology, Brno, Czech Republic","institution_ids":["https://openalex.org/I60587646"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5021704952","display_name":"Jyun-Ao Lin","orcid":"https://orcid.org/0000-0001-8560-2147"},"institutions":[{"id":"https://openalex.org/I118292597","display_name":"National Taipei University of Technology","ror":"https://ror.org/00cn92c09","country_code":"TW","type":"education","lineage":["https://openalex.org/I118292597"]}],"countries":["TW"],"is_corresponding":false,"raw_author_name":"Jyun-Ao Lin","raw_affiliation_strings":["National Taipei University of Technology, Taipei, Taiwan"],"affiliations":[{"raw_affiliation_string":"National Taipei University of Technology, Taipei, Taiwan","institution_ids":["https://openalex.org/I118292597"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102955666","display_name":"Wei-Lun Tsai","orcid":"https://orcid.org/0009-0003-5832-0867"},"institutions":[{"id":"https://openalex.org/I16733864","display_name":"National Taiwan University","ror":"https://ror.org/05bqach95","country_code":"TW","type":"education","lineage":["https://openalex.org/I16733864"]},{"id":"https://openalex.org/I4210098366","display_name":"Institute of Information Science, Academia Sinica","ror":"https://ror.org/00z83z196","country_code":"TW","type":"facility","lineage":["https://openalex.org/I4210098366","https://openalex.org/I84653119"]}],"countries":["TW"],"is_corresponding":false,"raw_author_name":"Wei-Lun Tsai","raw_affiliation_strings":["Academia Sinica, Institute of Information Science, Taipei, Taiwan","National Taiwan University, Graduate Institute of Electronics Engineering, Taipei, Taiwan"],"affiliations":[{"raw_affiliation_string":"Academia Sinica, Institute of Information Science, Taipei, Taiwan","institution_ids":["https://openalex.org/I4210098366"]},{"raw_affiliation_string":"National Taiwan University, Graduate Institute of Electronics Engineering, Taipei, Taiwan","institution_ids":["https://openalex.org/I16733864"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5052125757","display_name":"Di-De Yen","orcid":"https://orcid.org/0000-0003-0045-9594"},"institutions":[{"id":"https://openalex.org/I146655781","display_name":"University of Liverpool","ror":"https://ror.org/04xs57h96","country_code":"GB","type":"education","lineage":["https://openalex.org/I146655781"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Di-De Yen","raw_affiliation_strings":["Liverpool University, School of Electrical Engineering, Electronics and Computer Science, Liverpool, England, United Kingdom"],"affiliations":[{"raw_affiliation_string":"Liverpool University, School of Electrical Engineering, Electronics and Computer Science, Liverpool, England, United Kingdom","institution_ids":["https://openalex.org/I146655781"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5048614307"],"corresponding_institution_ids":["https://openalex.org/I4210098366"],"apc_list":null,"apc_paid":null,"fwci":17.3941,"has_fulltext":true,"cited_by_count":7,"citation_normalized_percentile":{"value":0.98936573,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":91,"max":100},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":0.9998999834060669,"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/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":0.9998999834060669,"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/T13182","display_name":"Quantum-Dot Cellular Automata","score":0.9915000200271606,"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/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9902999997138977,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/computer-science","display_name":"Computer science","score":0.6951475143432617},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.5047663450241089},{"id":"https://openalex.org/keywords/electronic-circuit","display_name":"Electronic circuit","score":0.4524466395378113},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4471889138221741},{"id":"https://openalex.org/keywords/quantum","display_name":"Quantum","score":0.4259132444858551},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.40568026900291443},{"id":"https://openalex.org/keywords/electrical-engineering","display_name":"Electrical engineering","score":0.104861319065094},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.09176358580589294},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.07357850670814514}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6951475143432617},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.5047663450241089},{"id":"https://openalex.org/C134146338","wikidata":"https://www.wikidata.org/wiki/Q1815901","display_name":"Electronic circuit","level":2,"score":0.4524466395378113},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4471889138221741},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.4259132444858551},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.40568026900291443},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.104861319065094},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.09176358580589294},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.07357850670814514},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3725728","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3725728","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3725728","source":{"id":"https://openalex.org/S103482838","display_name":"Communications of the ACM","issn_l":"0001-0782","issn":["0001-0782","1557-7317"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Communications of the ACM","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/3725728","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3725728","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3725728","source":{"id":"https://openalex.org/S103482838","display_name":"Communications of the ACM","issn_l":"0001-0782","issn":["0001-0782","1557-7317"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Communications of the ACM","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320321006","display_name":"Grantov\u00e1 Agentura \u010cesk\u00e9 Republiky","ror":"https://ror.org/01pv73b02"},{"id":"https://openalex.org/F4320321041","display_name":"Academia Sinica","ror":"https://ror.org/05bxb3784"},{"id":"https://openalex.org/F4320331164","display_name":"National Science and Technology Council","ror":"https://ror.org/00wnb9798"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4410841348.pdf","grobid_xml":"https://content.openalex.org/works/W4410841348.grobid-xml"},"referenced_works_count":26,"referenced_works":["https://openalex.org/W342816535","https://openalex.org/W1593799327","https://openalex.org/W1705784892","https://openalex.org/W1985875391","https://openalex.org/W2000356331","https://openalex.org/W2044357043","https://openalex.org/W2084652510","https://openalex.org/W2096331363","https://openalex.org/W2130753923","https://openalex.org/W2168676717","https://openalex.org/W2760965790","https://openalex.org/W2803889673","https://openalex.org/W2963481762","https://openalex.org/W2982169647","https://openalex.org/W3016880330","https://openalex.org/W3104500086","https://openalex.org/W3105603580","https://openalex.org/W3105677655","https://openalex.org/W3127429871","https://openalex.org/W3173827709","https://openalex.org/W3212096699","https://openalex.org/W4293261702","https://openalex.org/W4312933521","https://openalex.org/W4379536095","https://openalex.org/W4384471464","https://openalex.org/W4406222168"],"related_works":["https://openalex.org/W4231937131","https://openalex.org/W1903000972","https://openalex.org/W2401004563","https://openalex.org/W323219885","https://openalex.org/W2157508806","https://openalex.org/W2063928587","https://openalex.org/W1487966966","https://openalex.org/W1589342014","https://openalex.org/W1480341462","https://openalex.org/W2124122503"],"abstract_inverted_index":{"As":[0],"quantum":[1,16,31,74,91,120,131,203,219],"computing":[2],"hardware":[3],"advances,":[4],"the":[5,28,36,61,77,88,94,128,138,153,213],"demand":[6],"for":[7,15,27,164],"scalable,":[8,163],"precise,":[9],"and":[10,60,122,145,176,189,206],"fully":[11],"automated":[12],"verification":[13,29,205],"techniques":[14],"circuits":[17],"grows.":[18],"This":[19],"paper":[20],"introduces":[21],"a":[22,41,66,80,102,142,170,184],"novel":[23],"automata-based":[24],"framework":[25,111],"tailored":[26],"of":[30,73,79,90,119,130,215],"circuits.":[32],"In":[33],"our":[34,159,200],"approach,":[35],"problem":[37],"is":[38,63,96,161],"framed":[39],"as":[40],"triple":[42],"<mml:math":[43,68,82,104],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[44,69,83,105],"display=\"inline\">":[45,70,84,106],"<mml:mrow>":[46],"<mml:mo>{</mml:mo>":[47,55],"<mml:mi>P</mml:mi>":[48,71],"<mml:mo>}</mml:mo>":[49,57],"<mml:mspace":[50,53],"width=\"0.166667em\"/>":[51,54],"<mml:mi>C</mml:mi>":[52,85],"<mml:mi>S</mml:mi>":[56,107],"</mml:mrow>":[58],"</mml:math>":[59,72,86,108],"question":[62],"whether,":[64],"given":[65],"set":[67,89,103],"states":[75,92,121],"on":[76,93],"input":[78],"circuit":[81,172,185],",":[87],"output":[95],"equal":[97],"to":[98,115,126,168,211],"(or":[99],"included":[100],"in)":[101],".":[109],"Our":[110],"leverages":[112],"tree":[113],"automata":[114,216],"compactly":[116],"represent":[117],"sets":[118],"we":[123,166,195],"develop":[124],"transformers":[125],"implement":[127],"semantics":[129],"gates":[132],"over":[133],"this":[134],"representation.":[135],"We":[136],"implemented":[137],"proposed":[139],"approach":[140,160],"in":[141,218],"prototype":[143],"tool":[144],"evaluated":[146],"its":[147],"performance":[148],"against":[149],"various":[150],"benchmarks":[151],"from":[152],"literature.":[154],"The":[155],"evaluation":[156],"shows":[157],"that":[158],"quite":[162],"example,":[165],"managed":[167],"verify":[169],"large":[171],"with":[173,186,197],"40":[174],"qubits":[175,188],"141,527":[177],"gates,":[178,191],"or":[179],"catch":[180],"bugs":[181],"injected":[182],"into":[183],"320":[187],"1,758":[190],"where":[192],"all":[193],"tools":[194],"compared":[196],"failed.":[198],"Additionally,":[199],"work":[201],"bridges":[202],"program":[204],"automata,":[207],"opening":[208],"new":[209],"possibilities":[210],"exploit":[212],"richness":[214],"theory":[217],"computing.":[220]},"counts_by_year":[{"year":2026,"cited_by_count":6},{"year":2025,"cited_by_count":1}],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}