{"id":"https://openalex.org/W4323544949","doi":"https://doi.org/10.1007/s10703-023-00411-4","title":"Stochastic games with lexicographic objectives","display_name":"Stochastic games with lexicographic objectives","publication_year":2023,"publication_date":"2023-03-08","ids":{"openalex":"https://openalex.org/W4323544949","doi":"https://doi.org/10.1007/s10703-023-00411-4"},"language":"en","primary_location":{"id":"doi:10.1007/s10703-023-00411-4","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10703-023-00411-4","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10703-023-00411-4.pdf","source":{"id":"https://openalex.org/S3845260","display_name":"Formal Methods in System Design","issn_l":"0925-9856","issn":["0925-9856","1572-8102"],"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":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Methods in System Design","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s10703-023-00411-4.pdf","any_repository_has_fulltext":true},"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":"https://orcid.org/0000-0002-4561-241X","affiliations":[{"raw_affiliation_string":"IST Austria, Klosterneuburg, Austria","institution_ids":["https://openalex.org/I157556583"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5090819329","display_name":"Joost-Pieter Katoen","orcid":"https://orcid.org/0000-0002-6143-1926"},"institutions":[{"id":"https://openalex.org/I887968799","display_name":"RWTH Aachen University","ror":"https://ror.org/04xfq0f34","country_code":"DE","type":"education","lineage":["https://openalex.org/I887968799"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Joost-Pieter Katoen","raw_affiliation_strings":["RWTH Aachen University, Aachen, Germany"],"raw_orcid":"https://orcid.org/0000-0002-6143-1926","affiliations":[{"raw_affiliation_string":"RWTH Aachen University, Aachen, Germany","institution_ids":["https://openalex.org/I887968799"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5000857750","display_name":"Stefanie Mohr","orcid":"https://orcid.org/0000-0002-8630-3218"},"institutions":[{"id":"https://openalex.org/I62916508","display_name":"Technical University of Munich","ror":"https://ror.org/02kkvpp62","country_code":"DE","type":"education","lineage":["https://openalex.org/I62916508"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Stefanie Mohr","raw_affiliation_strings":["Technical University of Munich, Munich, Germany"],"raw_orcid":"https://orcid.org/0000-0002-8630-3218","affiliations":[{"raw_affiliation_string":"Technical University of Munich, Munich, Germany","institution_ids":["https://openalex.org/I62916508"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5042375584","display_name":"Maximilian Weininger","orcid":"https://orcid.org/0000-0002-0163-2152"},"institutions":[{"id":"https://openalex.org/I62916508","display_name":"Technical University of Munich","ror":"https://ror.org/02kkvpp62","country_code":"DE","type":"education","lineage":["https://openalex.org/I62916508"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Maximilian Weininger","raw_affiliation_strings":["Technical University of Munich, Munich, Germany"],"raw_orcid":"https://orcid.org/0000-0002-0163-2152","affiliations":[{"raw_affiliation_string":"Technical University of Munich, Munich, Germany","institution_ids":["https://openalex.org/I62916508"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5088301072","display_name":"Tobias Winkler","orcid":"https://orcid.org/0000-0003-1084-6408"},"institutions":[{"id":"https://openalex.org/I887968799","display_name":"RWTH Aachen University","ror":"https://ror.org/04xfq0f34","country_code":"DE","type":"education","lineage":["https://openalex.org/I887968799"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Tobias Winkler","raw_affiliation_strings":["RWTH Aachen University, Aachen, Germany"],"raw_orcid":"https://orcid.org/0000-0003-1084-6408","affiliations":[{"raw_affiliation_string":"RWTH Aachen University, Aachen, Germany","institution_ids":["https://openalex.org/I887968799"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5088301072"],"corresponding_institution_ids":["https://openalex.org/I887968799"],"apc_list":{"value":2690,"currency":"EUR","value_usd":3490},"apc_paid":{"value":2690,"currency":"EUR","value_usd":3490},"fwci":0.9293,"has_fulltext":true,"cited_by_count":5,"citation_normalized_percentile":{"value":0.77480357,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":"63","issue":"1-3","first_page":"40","last_page":"80"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9994000196456909,"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.9994000196456909,"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/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.9965999722480774,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9807999730110168,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/lexicographical-order","display_name":"Lexicographical order","score":0.7733488082885742},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.5759954452514648},{"id":"https://openalex.org/keywords/randomness","display_name":"Randomness","score":0.5303184390068054},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.42948663234710693},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.39687713980674744},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.33615589141845703},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.3061329126358032},{"id":"https://openalex.org/keywords/statistics","display_name":"Statistics","score":0.20258980989456177}],"concepts":[{"id":"https://openalex.org/C159254197","wikidata":"https://www.wikidata.org/wiki/Q1144915","display_name":"Lexicographical order","level":2,"score":0.7733488082885742},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.5759954452514648},{"id":"https://openalex.org/C125112378","wikidata":"https://www.wikidata.org/wiki/Q176640","display_name":"Randomness","level":2,"score":0.5303184390068054},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.42948663234710693},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.39687713980674744},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.33615589141845703},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.3061329126358032},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.20258980989456177}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/s10703-023-00411-4","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10703-023-00411-4","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10703-023-00411-4.pdf","source":{"id":"https://openalex.org/S3845260","display_name":"Formal Methods in System Design","issn_l":"0925-9856","issn":["0925-9856","1572-8102"],"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":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Methods in System Design","raw_type":"journal-article"},{"id":"pmh:oai:mediatum.ub.tum.de:node/1761326","is_oa":true,"landing_page_url":"https://mediatum.ub.tum.de/1761326","pdf_url":null,"source":{"id":"https://openalex.org/S4377196330","display_name":"mediaTUM  (Technical University of Munich)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I62916508","host_organization_name":"Technical University of Munich","host_organization_lineage":["https://openalex.org/I62916508"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"doi:10.1007/s10703-023-00411-4","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10703-023-00411-4","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10703-023-00411-4.pdf","source":{"id":"https://openalex.org/S3845260","display_name":"Formal Methods in System Design","issn_l":"0925-9856","issn":["0925-9856","1572-8102"],"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":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Methods in System Design","raw_type":"journal-article"},"sustainable_development_goals":[{"score":0.7400000095367432,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[{"id":"https://openalex.org/G1633333669","display_name":null,"funder_award_id":"427755713","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G2302795432","display_name":null,"funder_award_id":"RTG 2236","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G2554063606","display_name":"Efficient Algorithms for Computer Aided Verification","funder_award_id":"ICT15-003","funder_id":"https://openalex.org/F4320321003","funder_display_name":"Vienna Science and Technology Fund"},{"id":"https://openalex.org/G4360933436","display_name":null,"funder_award_id":"Project ICT15-003","funder_id":"https://openalex.org/F4320321003","funder_display_name":"Vienna Science and Technology Fund"},{"id":"https://openalex.org/G5052093065","display_name":null,"funder_award_id":"RTG 2428","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G5329822564","display_name":null,"funder_award_id":"383882557","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G6681561311","display_name":null,"funder_award_id":"DFG RTG 2236 UnRAVeL","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"}],"funders":[{"id":"https://openalex.org/F4320320879","display_name":"Deutsche Forschungsgemeinschaft","ror":"https://ror.org/018mejw64"},{"id":"https://openalex.org/F4320321003","display_name":"Vienna Science and Technology Fund","ror":"https://ror.org/01f9mc681"},{"id":"https://openalex.org/F4320324232","display_name":"RWTH Aachen University","ror":"https://ror.org/04xfq0f34"}],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W4323544949.pdf"},"referenced_works_count":67,"referenced_works":["https://openalex.org/W16586245","https://openalex.org/W288011047","https://openalex.org/W1488036958","https://openalex.org/W1496590343","https://openalex.org/W1498432697","https://openalex.org/W1518931405","https://openalex.org/W1525468010","https://openalex.org/W1539216098","https://openalex.org/W1574269384","https://openalex.org/W1584965098","https://openalex.org/W1765717155","https://openalex.org/W1786377004","https://openalex.org/W1822323017","https://openalex.org/W1912971326","https://openalex.org/W1930640507","https://openalex.org/W1966347268","https://openalex.org/W1999766763","https://openalex.org/W2005684815","https://openalex.org/W2015109067","https://openalex.org/W2046213250","https://openalex.org/W2063511957","https://openalex.org/W2095390318","https://openalex.org/W2118895096","https://openalex.org/W2124285023","https://openalex.org/W2128723253","https://openalex.org/W2140105941","https://openalex.org/W2165686945","https://openalex.org/W2206317714","https://openalex.org/W2256738662","https://openalex.org/W2341066496","https://openalex.org/W2356671789","https://openalex.org/W2388209185","https://openalex.org/W2522043470","https://openalex.org/W2537440665","https://openalex.org/W2555847713","https://openalex.org/W2593267253","https://openalex.org/W2606733399","https://openalex.org/W2608760006","https://openalex.org/W2609905251","https://openalex.org/W2615768957","https://openalex.org/W2745222971","https://openalex.org/W2753796405","https://openalex.org/W2762030425","https://openalex.org/W2771041648","https://openalex.org/W2774573597","https://openalex.org/W2796106051","https://openalex.org/W2797886180","https://openalex.org/W2962776978","https://openalex.org/W2963112285","https://openalex.org/W2967125001","https://openalex.org/W3011802620","https://openalex.org/W3016295497","https://openalex.org/W3021509961","https://openalex.org/W3030846442","https://openalex.org/W3032532589","https://openalex.org/W3045984969","https://openalex.org/W3046820103","https://openalex.org/W3100786387","https://openalex.org/W3103174681","https://openalex.org/W3104158310","https://openalex.org/W3146385390","https://openalex.org/W3147073715","https://openalex.org/W3186483141","https://openalex.org/W3199080964","https://openalex.org/W3213488095","https://openalex.org/W4250417675","https://openalex.org/W4298023569"],"related_works":["https://openalex.org/W1985455246","https://openalex.org/W1993634787","https://openalex.org/W3125614403","https://openalex.org/W2476923378","https://openalex.org/W2803221307","https://openalex.org/W2951826204","https://openalex.org/W4211001408","https://openalex.org/W3034924094","https://openalex.org/W2366147410","https://openalex.org/W2990594069"],"abstract_inverted_index":{"Abstract":[0],"We":[1,158,199,213,226],"study":[2],"turn-based":[3],"stochastic":[4,23,56],"zero-sum":[5],"games":[6,13,57],"with":[7,45,58],"lexicographic":[8,59],"preferences":[9],"over":[10],"objectives.":[11,94],"Stochastic":[12],"are":[14],"standard":[15],"models":[16],"in":[17,109,130,146,177,223],"control,":[18],"verification,":[19],"and":[20,34,71,82,92,129,142,206,231],"synthesis":[21],"of":[22,53,69,99,174,180],"reactive":[24],"systems":[25],"that":[26,76,103,162,201,217],"exhibit":[27],"both":[28],"randomness":[29],"as":[30,32,195],"well":[31],"controllable":[33],"adversarial":[35],"non-determinism.":[36],"Lexicographic":[37],"order":[38],"allows":[39],"one":[40],"to":[41,87,171,190],"consider":[42],"multiple":[43],"objectives":[44,60],"a":[46,67,96,169,178],"strict":[47],"preference":[48],"order.":[49],"To":[50],"the":[51,89,104,122,132,164,172,219],"best":[52],"our":[54,188,229],"knowledge,":[55],"have":[61,227],"not":[62],"been":[63],"studied":[64],"before.":[65],"For":[66,95,183],"mixture":[68],"reachability":[70],"safety":[72],"objectives,":[73,100,185],"we":[74,101,186],"show":[75,102,200],"deterministic":[77],"lexicographically":[78,165,202],"optimal":[79,166,175,203],"strategies":[80,167,176,204],"exist":[81,205],"memory":[83],"is":[84,108,135],"only":[85],"required":[86],"remember":[88],"already":[90],"satisfied":[91],"violated":[93],"constant":[97],"number":[98],"relevant":[105,220],"decision":[106,133,197,221],"problem":[107,134,222],"$$\\textsf{NP}\\cap":[110],"\\textsf{coNP}$$":[111],"<mml:math":[112,137,149],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\">":[113,138,150],"<mml:mrow>":[114,151],"<mml:mi>NP</mml:mi>":[115],"<mml:mo>\u2229</mml:mo>":[116,153],"<mml:mi>coNP</mml:mi>":[117],"</mml:mrow>":[118,155],"</mml:math>":[119,140,156],",":[120],"matching":[121],"current":[123],"known":[124,194],"bound":[125],"for":[126],"single":[127],"objectives;":[128],"general":[131],"$$\\textsf{PSPACE}$$":[136],"<mml:mi>PSPACE</mml:mi>":[139],"-hard":[141],"can":[143],"be":[144],"solved":[145],"$$\\textsf{NEXPTIME}\\cap":[147],"\\textsf{coNEXPTIME}$$":[148],"<mml:mi>NEXPTIME</mml:mi>":[152],"<mml:mi>coNEXPTIME</mml:mi>":[154],".":[157],"present":[159,214],"an":[160,215],"algorithm":[161,216],"computes":[163],"via":[168],"reduction":[170],"computation":[173],"sequence":[179],"single-objectives":[181],"games.":[182],"omega-regular":[184],"restrict":[187],"analysis":[189],"one-player":[191],"games,":[192],"also":[193],"Markov":[196],"processes.":[198],"need":[207],"either":[208],"randomization":[209],"or":[210],"finite":[211],"memory.":[212],"solves":[218],"polynomial":[224],"time.":[225],"implemented":[228],"algorithms":[230],"report":[232],"experimental":[233],"results":[234],"on":[235],"various":[236],"case":[237],"studies.":[238]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":1}],"updated_date":"2026-06-13T06:13:01.061226","created_date":"2025-10-10T00:00:00"}