{"id":"https://openalex.org/W4412514827","doi":"https://doi.org/10.1007/978-3-031-98679-6_2","title":"Supermartingale Certificates for\u00a0Quantitative Omega-Regular Verification and\u00a0Control","display_name":"Supermartingale Certificates for\u00a0Quantitative Omega-Regular Verification and\u00a0Control","publication_year":2025,"publication_date":"2025-01-01","ids":{"openalex":"https://openalex.org/W4412514827","doi":"https://doi.org/10.1007/978-3-031-98679-6_2"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-031-98679-6_2","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-98679-6_2","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-98679-6_2.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-98679-6_2.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5080555605","display_name":"Thomas A. Henzinger","orcid":"https://orcid.org/0000-0002-2985-7724"},"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":true,"raw_author_name":"Thomas A. Henzinger","raw_affiliation_strings":["Institute of Science and Technology Austria (ISTA), Klosterneuburg, Austria"],"affiliations":[{"raw_affiliation_string":"Institute of Science and Technology Austria (ISTA), Klosterneuburg, Austria","institution_ids":["https://openalex.org/I157556583"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081483854","display_name":"Kaushik Mallik","orcid":"https://orcid.org/0000-0001-9864-7475"},"institutions":[{"id":"https://openalex.org/I4210162154","display_name":"IMDEA Software Institute","ror":"https://ror.org/04xvfkh51","country_code":"ES","type":"facility","lineage":["https://openalex.org/I105140100","https://openalex.org/I4210162154"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Kaushik Mallik","raw_affiliation_strings":["IMDEA Software Institute, Madrid, Spain"],"affiliations":[{"raw_affiliation_string":"IMDEA Software Institute, Madrid, Spain","institution_ids":["https://openalex.org/I4210162154"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5119022949","display_name":"Pouya Sadeghi","orcid":null},"institutions":[{"id":"https://openalex.org/I79891267","display_name":"Singapore Management University","ror":"https://ror.org/050qmg959","country_code":"SG","type":"education","lineage":["https://openalex.org/I79891267"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Pouya Sadeghi","raw_affiliation_strings":["Singapore Management University, Singapore, Singapore"],"affiliations":[{"raw_affiliation_string":"Singapore Management University, Singapore, Singapore","institution_ids":["https://openalex.org/I79891267"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5041082080","display_name":"\u0110or\u0111e \u017dikeli\u0107","orcid":"https://orcid.org/0000-0002-4681-1699"},"institutions":[{"id":"https://openalex.org/I79891267","display_name":"Singapore Management University","ror":"https://ror.org/050qmg959","country_code":"SG","type":"education","lineage":["https://openalex.org/I79891267"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"\u0110or\u0111e \u017dikeli\u0107","raw_affiliation_strings":["Singapore Management University, Singapore, Singapore"],"affiliations":[{"raw_affiliation_string":"Singapore Management University, Singapore, Singapore","institution_ids":["https://openalex.org/I79891267"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5080555605"],"corresponding_institution_ids":["https://openalex.org/I157556583"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":21.5237,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.99338173,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":96,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"29","last_page":"55"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9957000017166138,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9957000017166138,"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/T10142","display_name":"Formal Methods in Verification","score":0.9925000071525574,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9858999848365784,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.7539764642715454},{"id":"https://openalex.org/keywords/omega","display_name":"Omega","score":0.7284214496612549},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.4796883761882782},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.13058918714523315},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.07159698009490967}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7539764642715454},{"id":"https://openalex.org/C2779557605","wikidata":"https://www.wikidata.org/wiki/Q9890","display_name":"Omega","level":2,"score":0.7284214496612549},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.4796883761882782},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.13058918714523315},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.07159698009490967},{"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.1007/978-3-031-98679-6_2","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-98679-6_2","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-98679-6_2.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"}],"best_oa_location":{"id":"doi:10.1007/978-3-031-98679-6_2","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-98679-6_2","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-98679-6_2.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320322724","display_name":"Ministry of Education, India","ror":"https://ror.org/048xjjh50"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4412514827.pdf","grobid_xml":"https://content.openalex.org/works/W4412514827.grobid-xml"},"referenced_works_count":60,"referenced_works":["https://openalex.org/W72346910","https://openalex.org/W87140126","https://openalex.org/W1480198929","https://openalex.org/W1480909796","https://openalex.org/W1494192115","https://openalex.org/W1498432697","https://openalex.org/W1505135855","https://openalex.org/W1593745409","https://openalex.org/W1972203711","https://openalex.org/W2047671935","https://openalex.org/W2048025009","https://openalex.org/W2058935279","https://openalex.org/W2077987282","https://openalex.org/W2091968063","https://openalex.org/W2112407936","https://openalex.org/W2149845256","https://openalex.org/W2171282796","https://openalex.org/W2176562253","https://openalex.org/W2184410169","https://openalex.org/W2294463722","https://openalex.org/W2295961883","https://openalex.org/W2334782222","https://openalex.org/W2435583538","https://openalex.org/W2471883032","https://openalex.org/W2494200839","https://openalex.org/W2534895395","https://openalex.org/W2548604229","https://openalex.org/W2767778696","https://openalex.org/W2807469900","https://openalex.org/W2893610333","https://openalex.org/W2908549554","https://openalex.org/W2913846715","https://openalex.org/W2914740438","https://openalex.org/W2951490272","https://openalex.org/W2963702584","https://openalex.org/W3002811560","https://openalex.org/W3098696637","https://openalex.org/W3113187462","https://openalex.org/W3166047986","https://openalex.org/W3171209508","https://openalex.org/W3176250057","https://openalex.org/W3186149862","https://openalex.org/W3216994895","https://openalex.org/W4230058301","https://openalex.org/W4255442211","https://openalex.org/W4281612951","https://openalex.org/W4281938159","https://openalex.org/W4283790991","https://openalex.org/W4312744983","https://openalex.org/W4366672340","https://openalex.org/W4382318883","https://openalex.org/W4387081164","https://openalex.org/W4387843446","https://openalex.org/W4388642335","https://openalex.org/W4392577507","https://openalex.org/W4399872390","https://openalex.org/W4400938942","https://openalex.org/W4400995197","https://openalex.org/W4406197122","https://openalex.org/W4409362073"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W4402427056","https://openalex.org/W238609530","https://openalex.org/W2734192830","https://openalex.org/W3016395638","https://openalex.org/W1636163329","https://openalex.org/W3045121788","https://openalex.org/W3201655533"],"abstract_inverted_index":{"Abstract":[0],"We":[1],"present":[2,81],"the":[3,27,30,40,86,92,95,100,113,130],"first":[4],"supermartingale":[5,51,55],"certificate":[6,23],"for":[7,85,91,124],"quantitative":[8,60],"$$\\omega":[9,72],"$$":[10,73],"<mml:math":[11,74],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\">":[12,75],"<mml:mi>\u03c9</mml:mi>":[13,76],"</mml:math>":[14,77],"-regular":[15,78],"properties":[16],"of":[17,29,42,89,107,115,132],"discrete-time":[18],"infinite-state":[19],"stochastic":[20,31,96,125],"systems.":[21],"Our":[22,110],"is":[24],"defined":[25],"on":[26],"product":[28],"system":[32,97],"and":[33,66,99,121],"a":[34,48],"limit-deterministic":[35,49],"B\u00fcchi":[36,50],"automaton":[37],"that":[38,127],"specifies":[39],"property":[41],"interest;":[43],"hence":[44],"we":[45],"call":[46],"it":[47],"(LDBSM).":[52],"Previously":[53],"known":[54],"certificates":[56],"applied":[57],"only":[58],"to":[59,67,118],"reachability,":[61],"safety,":[62],"or":[63],"reach-avoid":[64],"properties,":[65],"qualitative":[68],"(i.e.,":[69],"probability":[70],"1)":[71],"properties.We":[79],"also":[80],"fully":[82],"automated":[83],"algorithms":[84],"template-based":[87],"synthesis":[88],"LDBSMs,":[90],"case":[93],"when":[94],"dynamics":[98],"controller":[101],"can":[102],"be":[103],"represented":[104],"in":[105],"terms":[106],"polynomial":[108],"inequalities.":[109],"experiments":[111],"demonstrate":[112],"ability":[114],"our":[116],"method":[117],"solve":[119],"verification":[120],"control":[122],"tasks":[123],"systems":[126],"were":[128],"beyond":[129],"reach":[131],"previous":[133],"supermartingale-based":[134],"approaches.":[135]},"counts_by_year":[{"year":2025,"cited_by_count":3}],"updated_date":"2026-03-10T16:38:18.471706","created_date":"2025-10-10T00:00:00"}