{"id":"https://openalex.org/W4414360551","doi":"https://doi.org/10.24963/ijcai.2025/25","title":"Beyond Winning Strategies: Admissible and Admissible Winning Strategies for Quantitative Reachability Games","display_name":"Beyond Winning Strategies: Admissible and Admissible Winning Strategies for Quantitative Reachability Games","publication_year":2025,"publication_date":"2025-09-01","ids":{"openalex":"https://openalex.org/W4414360551","doi":"https://doi.org/10.24963/ijcai.2025/25"},"language":"en","primary_location":{"id":"doi:10.24963/ijcai.2025/25","is_oa":false,"landing_page_url":"https://doi.org/10.24963/ijcai.2025/25","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence","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/A5026970709","display_name":"Karan Muvvala","orcid":null},"institutions":[{"id":"https://openalex.org/I2802236040","display_name":"University of Colorado System","ror":"https://ror.org/00jc20583","country_code":"US","type":"education","lineage":["https://openalex.org/I2802236040"]},{"id":"https://openalex.org/I188538660","display_name":"University of Colorado Boulder","ror":"https://ror.org/02ttsq026","country_code":"US","type":"education","lineage":["https://openalex.org/I188538660"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Karan Muvvala","raw_affiliation_strings":["University of Colorado Boulder"],"affiliations":[{"raw_affiliation_string":"University of Colorado Boulder","institution_ids":["https://openalex.org/I2802236040","https://openalex.org/I188538660"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5020888957","display_name":"Qi Heng Ho","orcid":"https://orcid.org/0009-0006-0743-9341"},"institutions":[{"id":"https://openalex.org/I188538660","display_name":"University of Colorado Boulder","ror":"https://ror.org/02ttsq026","country_code":"US","type":"education","lineage":["https://openalex.org/I188538660"]},{"id":"https://openalex.org/I2802236040","display_name":"University of Colorado System","ror":"https://ror.org/00jc20583","country_code":"US","type":"education","lineage":["https://openalex.org/I2802236040"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Qi Heng Ho","raw_affiliation_strings":["University of Colorado Boulder"],"affiliations":[{"raw_affiliation_string":"University of Colorado Boulder","institution_ids":["https://openalex.org/I2802236040","https://openalex.org/I188538660"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5069564559","display_name":"Morteza Lahijanian","orcid":"https://orcid.org/0000-0001-7549-4365"},"institutions":[{"id":"https://openalex.org/I188538660","display_name":"University of Colorado Boulder","ror":"https://ror.org/02ttsq026","country_code":"US","type":"education","lineage":["https://openalex.org/I188538660"]},{"id":"https://openalex.org/I2802236040","display_name":"University of Colorado System","ror":"https://ror.org/00jc20583","country_code":"US","type":"education","lineage":["https://openalex.org/I2802236040"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Morteza Lahijanian","raw_affiliation_strings":["University of Colorado Boulder"],"affiliations":[{"raw_affiliation_string":"University of Colorado Boulder","institution_ids":["https://openalex.org/I2802236040","https://openalex.org/I188538660"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5026970709"],"corresponding_institution_ids":["https://openalex.org/I188538660","https://openalex.org/I2802236040"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.31310732,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"214","last_page":"222"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11182","display_name":"Auction Theory and Applications","score":0.9724000096321106,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T11182","display_name":"Auction Theory and Applications","score":0.9724000096321106,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10328","display_name":"Supply Chain and Inventory Management","score":0.9580000042915344,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T11161","display_name":"Consumer Market Behavior and Pricing","score":0.932699978351593,"subfield":{"id":"https://openalex.org/subfields/1406","display_name":"Marketing"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.8849999904632568},{"id":"https://openalex.org/keywords/outcome","display_name":"Outcome (game theory)","score":0.6287000179290771},{"id":"https://openalex.org/keywords/game-theory","display_name":"Game theory","score":0.3743000030517578},{"id":"https://openalex.org/keywords/range","display_name":"Range (aeronautics)","score":0.36550000309944153},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.3490999937057495},{"id":"https://openalex.org/keywords/nash-equilibrium","display_name":"Nash equilibrium","score":0.29120001196861267}],"concepts":[{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.8849999904632568},{"id":"https://openalex.org/C148220186","wikidata":"https://www.wikidata.org/wiki/Q7111912","display_name":"Outcome (game theory)","level":2,"score":0.6287000179290771},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6055999994277954},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.37549999356269836},{"id":"https://openalex.org/C177142836","wikidata":"https://www.wikidata.org/wiki/Q44455","display_name":"Game theory","level":2,"score":0.3743000030517578},{"id":"https://openalex.org/C204323151","wikidata":"https://www.wikidata.org/wiki/Q905424","display_name":"Range (aeronautics)","level":2,"score":0.36550000309944153},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.3490999937057495},{"id":"https://openalex.org/C144237770","wikidata":"https://www.wikidata.org/wiki/Q747534","display_name":"Mathematical economics","level":1,"score":0.3434999883174896},{"id":"https://openalex.org/C46814582","wikidata":"https://www.wikidata.org/wiki/Q23389","display_name":"Nash equilibrium","level":2,"score":0.29120001196861267},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.2833000123500824},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.2694999873638153},{"id":"https://openalex.org/C123650614","wikidata":"https://www.wikidata.org/wiki/Q282491","display_name":"Strategic dominance","level":2,"score":0.259799987077713},{"id":"https://openalex.org/C136197465","wikidata":"https://www.wikidata.org/wiki/Q1729295","display_name":"Variety (cybernetics)","level":2,"score":0.2524999976158142}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.24963/ijcai.2025/25","is_oa":false,"landing_page_url":"https://doi.org/10.24963/ijcai.2025/25","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Classical":[0],"reactive":[1,8],"synthesis":[2,105,166],"approaches":[3,17],"aim":[4],"to":[5,20,30,57,61,99],"synthesize":[6,31],"a":[7,13,22,32,43,106],"system":[9,56],"that":[10,113,143],"always":[11,48,116,146],"satisfies":[12],"given":[14],"specification.":[15],"These":[16],"often":[18],"reduce":[19],"playing":[21],"two-player":[23],"zero-sum":[24],"game":[25],"where":[26],"the":[27,55,75,91,134,159,171],"goal":[28],"is":[29,52],"winning":[33,44,130],"strategy.":[34],"However,":[35],"in":[36,83],"many":[37],"pragmatic":[38],"domains,":[39],"such":[40],"as":[41],"robotics,":[42],"strategy":[45],"does":[46],"not":[47,97,150],"exist,":[49],"yet":[50],"it":[51],"desirable":[53],"for":[54,158],"make":[58],"an":[59],"effort":[60],"satisfy":[62],"its":[63],"requirements":[64],"instead":[65],"of":[66,77,161],"\"giving":[67],"up.\"":[68],"To":[69,124],"this":[70,72],"end,":[71],"paper":[73],"investigates":[74],"notion":[76],"admissible":[78,102,114,129],"strategies,":[79,103,131],"which":[80,132],"formalize":[81],"\"doing-your-best\",":[82],"quantitative":[84],"reachability":[85],"games.":[86],"We":[87,141,152],"show":[88,142],"that,":[89],"unlike":[90],"qualitative":[92],"case,":[93],"memoryless":[94],"strategies":[95,115,145,163,172],"are":[96,149],"sufficient":[98,156],"capture":[100],"all":[101],"making":[104],"challenging":[107],"task.":[108],"In":[109],"addition,":[110],"we":[111,127,169],"prove":[112],"exist":[117,147],"but":[118,148],"may":[119],"produce":[120],"undesirable":[121],"optimistic":[122],"behaviors.":[123],"mitigate":[125],"this,":[126],"propose":[128,165],"enforce":[133],"best":[135],"possible":[136],"outcome":[137],"while":[138],"being":[139],"admissible.":[140],"both":[144,162],"memoryless.":[151],"provide":[153],"necessary":[154],"and":[155,164,175],"conditions":[157],"existence":[160],"algorithms.":[167],"Finally,":[168],"illustrate":[170],"on":[173],"gridworld":[174],"robot":[176],"manipulator":[177],"domains.":[178]},"counts_by_year":[],"updated_date":"2026-03-07T16:01:11.037858","created_date":"2025-10-10T00:00:00"}