{"id":"https://openalex.org/W2807469900","doi":"https://doi.org/10.1145/3174800","title":"Algorithmic Analysis of Qualitative and Quantitative Termination Problems for Affine Probabilistic Programs","display_name":"Algorithmic Analysis of Qualitative and Quantitative Termination Problems for Affine Probabilistic Programs","publication_year":2018,"publication_date":"2018-05-28","ids":{"openalex":"https://openalex.org/W2807469900","doi":"https://doi.org/10.1145/3174800","mag":"2807469900"},"language":"en","primary_location":{"id":"doi:10.1145/3174800","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3174800","pdf_url":null,"source":{"id":"https://openalex.org/S41449414","display_name":"ACM Transactions on Programming Languages and Systems","issn_l":"0164-0925","issn":["0164-0925","1558-4593"],"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Programming Languages and Systems","raw_type":"journal-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/A5052607806","display_name":"Krishnendu Chatterjee","orcid":"https://orcid.org/0000-0002-4561-241X"},"institutions":[{"id":"https://openalex.org/I157556583","display_name":"Institute of Science and Technology Austria","ror":"https://ror.org/03gnh5541","country_code":"AT","type":"education","lineage":["https://openalex.org/I157556583"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Krishnendu Chatterjee","raw_affiliation_strings":["IST Austria, Klosterneuburg, Austria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IST Austria, Klosterneuburg, Austria","institution_ids":["https://openalex.org/I157556583"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5031020748","display_name":"Hongfei Fu","orcid":"https://orcid.org/0000-0002-7947-3446"},"institutions":[{"id":"https://openalex.org/I183067930","display_name":"Shanghai Jiao Tong University","ror":"https://ror.org/0220qvk04","country_code":"CN","type":"education","lineage":["https://openalex.org/I183067930"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Hongfei Fu","raw_affiliation_strings":["Shanghai Jiao Tong University, Shanghai, P.R. China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Shanghai Jiao Tong University, Shanghai, P.R. China","institution_ids":["https://openalex.org/I183067930"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5026464429","display_name":"Petr Novotn\u00fd","orcid":"https://orcid.org/0000-0002-5026-4392"},"institutions":[{"id":"https://openalex.org/I157556583","display_name":"Institute of Science and Technology Austria","ror":"https://ror.org/03gnh5541","country_code":"AT","type":"education","lineage":["https://openalex.org/I157556583"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Petr Novotn\u00fd","raw_affiliation_strings":["IST Austria, Klosterneuburg, Austria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IST Austria, Klosterneuburg, Austria","institution_ids":["https://openalex.org/I157556583"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5057315820","display_name":"Rouzbeh Hasheminezhad","orcid":null},"institutions":[{"id":"https://openalex.org/I133529467","display_name":"Sharif University of Technology","ror":"https://ror.org/024c2fq17","country_code":"IR","type":"education","lineage":["https://openalex.org/I133529467"]}],"countries":["IR"],"is_corresponding":false,"raw_author_name":"Rouzbeh Hasheminezhad","raw_affiliation_strings":["Sharif University of Technology, Iran"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Sharif University of Technology, Iran","institution_ids":["https://openalex.org/I133529467"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":3.7673,"has_fulltext":false,"cited_by_count":48,"citation_normalized_percentile":{"value":0.94557995,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":"40","issue":"2","first_page":"1","last_page":"45"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9933000206947327,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9933000206947327,"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/T11303","display_name":"Bayesian Modeling and Causal Inference","score":0.9876000285148621,"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.9850000143051147,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.7853307723999023},{"id":"https://openalex.org/keywords/determinism","display_name":"Determinism","score":0.7344056963920593},{"id":"https://openalex.org/keywords/ranking","display_name":"Ranking (information retrieval)","score":0.670822024345398},{"id":"https://openalex.org/keywords/probabilistic-analysis-of-algorithms","display_name":"Probabilistic analysis of algorithms","score":0.5465812087059021},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5229471325874329},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.5228815078735352},{"id":"https://openalex.org/keywords/time-complexity","display_name":"Time complexity","score":0.5131648182868958},{"id":"https://openalex.org/keywords/decision-problem","display_name":"Decision problem","score":0.4726350009441376},{"id":"https://openalex.org/keywords/upper-and-lower-bounds","display_name":"Upper and lower bounds","score":0.46243441104888916},{"id":"https://openalex.org/keywords/complexity-class","display_name":"Complexity class","score":0.4382481873035431},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.43570172786712646},{"id":"https://openalex.org/keywords/focus","display_name":"Focus (optics)","score":0.4232964515686035},{"id":"https://openalex.org/keywords/affine-transformation","display_name":"Affine transformation","score":0.41705259680747986},{"id":"https://openalex.org/keywords/p","display_name":"P","score":0.41594335436820984},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3523308336734772},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3476809859275818},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.31255239248275757},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.10143080353736877},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.09296378493309021}],"concepts":[{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.7853307723999023},{"id":"https://openalex.org/C192183473","wikidata":"https://www.wikidata.org/wiki/Q131133","display_name":"Determinism","level":2,"score":0.7344056963920593},{"id":"https://openalex.org/C189430467","wikidata":"https://www.wikidata.org/wiki/Q7293293","display_name":"Ranking (information retrieval)","level":2,"score":0.670822024345398},{"id":"https://openalex.org/C24404364","wikidata":"https://www.wikidata.org/wiki/Q7246846","display_name":"Probabilistic analysis of algorithms","level":3,"score":0.5465812087059021},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5229471325874329},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.5228815078735352},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.5131648182868958},{"id":"https://openalex.org/C115988155","wikidata":"https://www.wikidata.org/wiki/Q3262192","display_name":"Decision problem","level":2,"score":0.4726350009441376},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.46243441104888916},{"id":"https://openalex.org/C39637292","wikidata":"https://www.wikidata.org/wiki/Q908207","display_name":"Complexity class","level":3,"score":0.4382481873035431},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.43570172786712646},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.4232964515686035},{"id":"https://openalex.org/C92757383","wikidata":"https://www.wikidata.org/wiki/Q382497","display_name":"Affine transformation","level":2,"score":0.41705259680747986},{"id":"https://openalex.org/C134026603","wikidata":"https://www.wikidata.org/wiki/Q846354","display_name":"P","level":3,"score":0.41594335436820984},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3523308336734772},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3476809859275818},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.31255239248275757},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.10143080353736877},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.09296378493309021},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3174800","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3174800","pdf_url":null,"source":{"id":"https://openalex.org/S41449414","display_name":"ACM Transactions on Programming Languages and Systems","issn_l":"0164-0925","issn":["0164-0925","1558-4593"],"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Programming Languages and Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/10","score":0.41999998688697815,"display_name":"Reduced inequalities"}],"awards":[{"id":"https://openalex.org/G7468986614","display_name":"\u5927\u89c4\u6a21\u6982\u7387\u5e76\u53d1\u5b9e\u65f6\u7cfb\u7edf\u6a21\u578b\u68c0\u9a8c","funder_award_id":"61532019","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":59,"referenced_works":["https://openalex.org/W72346910","https://openalex.org/W105203805","https://openalex.org/W124331494","https://openalex.org/W1493856275","https://openalex.org/W1498432697","https://openalex.org/W1505135855","https://openalex.org/W1530375435","https://openalex.org/W1538639190","https://openalex.org/W1543209374","https://openalex.org/W1545759797","https://openalex.org/W1549039738","https://openalex.org/W1557307633","https://openalex.org/W1585194019","https://openalex.org/W1589106570","https://openalex.org/W1595989212","https://openalex.org/W1602844557","https://openalex.org/W1605543919","https://openalex.org/W1608799719","https://openalex.org/W1729037535","https://openalex.org/W1734364899","https://openalex.org/W1862398452","https://openalex.org/W1963547452","https://openalex.org/W1984818365","https://openalex.org/W1989462119","https://openalex.org/W1993129359","https://openalex.org/W1995713768","https://openalex.org/W1997199152","https://openalex.org/W1999678910","https://openalex.org/W2001097638","https://openalex.org/W2002240881","https://openalex.org/W2008740515","https://openalex.org/W2028145673","https://openalex.org/W2043100293","https://openalex.org/W2048025009","https://openalex.org/W2054940841","https://openalex.org/W2067754486","https://openalex.org/W2069300761","https://openalex.org/W2081320273","https://openalex.org/W2083374362","https://openalex.org/W2103012681","https://openalex.org/W2107726111","https://openalex.org/W2109100253","https://openalex.org/W2151958719","https://openalex.org/W2166496828","https://openalex.org/W2168359464","https://openalex.org/W2169071224","https://openalex.org/W2233431969","https://openalex.org/W2295428206","https://openalex.org/W2390784308","https://openalex.org/W2988480584","https://openalex.org/W3089425725","https://openalex.org/W3100287873","https://openalex.org/W4212875940","https://openalex.org/W4233413206","https://openalex.org/W4241684091","https://openalex.org/W4245234767","https://openalex.org/W4251912342","https://openalex.org/W4302114916","https://openalex.org/W6827529600"],"related_works":["https://openalex.org/W2970311880","https://openalex.org/W2073028890","https://openalex.org/W4236663059","https://openalex.org/W2199053348","https://openalex.org/W2162177529","https://openalex.org/W2154884611","https://openalex.org/W2026191634","https://openalex.org/W2970367514","https://openalex.org/W2005440350","https://openalex.org/W1584515386"],"abstract_inverted_index":{"In":[0,100],"this":[1],"article,":[2],"we":[3,82,102,155,207,233],"consider":[4],"the":[5,24,35,51,66,84,136,158,193,210,220,225,236,265,272],"termination":[6,37,53,96],"problem":[7,160,212,227,238],"of":[8,86,97,107,126,138,161,228,267],"probabilistic":[9,98,112],"programs":[10,113],"with":[11,27,117,174,189,280],"real-valued":[12],"variables.":[13],"The":[14],"questions":[15,276],"concerned":[16],"are:":[17],"qualitative":[18,273],"ones":[19,45],"that":[20,46,65,157,209,235],"ask":[21,47],"(i)":[22,48,164],"whether":[23,34],"program":[25],"terminates":[26],"probability":[28,67,202,255],"1":[29],"(almost-sure":[30],"termination)":[31],"and":[32,43,57,120,179,183,203,247,256,274],"(ii)":[33,58,180],"expected":[36,52],"time":[38,54,170],"is":[39,90,129,133,181,248],"finite":[40],"(finite":[41],"termination);":[42],"quantitative":[44,275],"to":[49,59,69,270],"approximate":[50],"(expectation":[55],"problem)":[56],"compute":[60],"a":[61,91,144],"bound":[62],"B":[63,72],"such":[64],"not":[68],"terminate":[70],"after":[71],"steps":[73],"decreases":[74],"exponentially":[75],"(concentration":[76],"problem).":[77],"To":[78],"solve":[79],"these":[80],"questions,":[81],"utilize":[83],"notion":[85],"ranking":[87],"supermartingales,":[88],"which":[89,132,143],"powerful":[92],"approach":[93,269],"for":[94,171,186,198,224,251],"proving":[95],"programs.":[99],"detail,":[101],"focus":[103],"on":[104],"algorithmic":[105],"synthesis":[106],"linear":[108,145],"ranking-supermartingales":[109],"over":[110,142,213,239,277],"affine":[111],"(A":[114],"pps":[115,128,141,173,188,200,253,279],")":[116],"both":[118],"angelic":[119,190],"demonic":[121,177,204,283],"non-determinism.":[122,191,205,284],"An":[123],"important":[124],"subclass":[125],"A":[127,140,172,187,199,252,278],"LRA":[130,162,214,229,240],"pp":[131,163,215,230,241],"defined":[134],"as":[135,152,223],"class":[137],"all":[139],"ranking-supermartingale":[146],"exists.":[147],"Our":[148,261],"main":[149],"contributions":[150],"are":[151],"follows.":[153],"Firstly,":[154],"show":[156,208,234],"membership":[159,226],"can":[165,216,242],"be":[166,217,243],"decided":[167],"in":[168,184,219,245],"polynomial":[169],"at":[175,281],"most":[176,282],"non-determinism,":[178],"NP-hard":[182],"PSPACE":[185],"Moreover,":[192],"NP-hardness":[194],"result":[195],"holds":[196],"already":[197],"without":[201,254],"Secondly,":[206],"concentration":[211],"solved":[218,244],"same":[221],"complexity":[222],".":[231],"Finally,":[232],"expectation":[237],"2EXPTIME":[246],"PSPACE-hard":[249],"even":[250],"non-determinism":[257],"(i.e.,":[258],"deterministic":[259],"programs).":[260],"experimental":[262],"results":[263],"demonstrate":[264],"effectiveness":[266],"our":[268],"answer":[271]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":8},{"year":2024,"cited_by_count":7},{"year":2023,"cited_by_count":5},{"year":2022,"cited_by_count":4},{"year":2021,"cited_by_count":12},{"year":2020,"cited_by_count":4},{"year":2019,"cited_by_count":6},{"year":2018,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}