{"id":"https://openalex.org/W2754858045","doi":"https://doi.org/10.1145/3107926","title":"Qualitative Determinacy and Decidability of Stochastic Games with Signals","display_name":"Qualitative Determinacy and Decidability of Stochastic Games with Signals","publication_year":2017,"publication_date":"2017-09-15","ids":{"openalex":"https://openalex.org/W2754858045","doi":"https://doi.org/10.1145/3107926","mag":"2754858045"},"language":"en","primary_location":{"id":"doi:10.1145/3107926","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3107926","pdf_url":null,"source":{"id":"https://openalex.org/S118992489","display_name":"Journal of the ACM","issn_l":"0004-5411","issn":["0004-5411","1557-735X"],"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":"Journal of the ACM","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://inria.hal.science/hal-01635127","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5019307337","display_name":"Nathalie Bertrand","orcid":"https://orcid.org/0000-0002-9957-5394"},"institutions":[{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en sciences et technologies du num\u00e9rique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]},{"id":"https://openalex.org/I2802519937","display_name":"Institut de Recherche en Informatique et Syst\u00e8mes Al\u00e9atoires","ror":"https://ror.org/00myn0z94","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I205703379","https://openalex.org/I2802204017","https://openalex.org/I2802519937","https://openalex.org/I28221208","https://openalex.org/I4210127572","https://openalex.org/I4210159245","https://openalex.org/I56067802"]},{"id":"https://openalex.org/I4210133778","display_name":"Centre Inria de l'Universit\u00e9 de Rennes","ror":"https://ror.org/04040yw90","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1326498283","https://openalex.org/I4210133778"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Nathalie Bertrand","raw_affiliation_strings":["INRIA, Centre Bretagne Atlantique, IRISA","SUMO - SUpervision of large MOdular and distributed systems (Campus de Beaulieu 35042 Rennes cedex - France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"INRIA, Centre Bretagne Atlantique, IRISA","institution_ids":["https://openalex.org/I4210133778","https://openalex.org/I2802519937","https://openalex.org/I1326498283"]},{"raw_affiliation_string":"SUMO - SUpervision of large MOdular and distributed systems (Campus de Beaulieu 35042 Rennes cedex - France)","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5064810861","display_name":"Blaise Genest","orcid":"https://orcid.org/0000-0002-5758-1876"},"institutions":[{"id":"https://openalex.org/I2802519937","display_name":"Institut de Recherche en Informatique et Syst\u00e8mes Al\u00e9atoires","ror":"https://ror.org/00myn0z94","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I205703379","https://openalex.org/I2802204017","https://openalex.org/I2802519937","https://openalex.org/I28221208","https://openalex.org/I4210127572","https://openalex.org/I4210159245","https://openalex.org/I56067802"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Blaise Genest","raw_affiliation_strings":["CNRS, IRISA","SUMO - SUpervision of large MOdular and distributed systems (Campus de Beaulieu 35042 Rennes cedex - France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CNRS, IRISA","institution_ids":["https://openalex.org/I2802519937"]},{"raw_affiliation_string":"SUMO - SUpervision of large MOdular and distributed systems (Campus de Beaulieu 35042 Rennes cedex - France)","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5108632816","display_name":"Hugo Gimbert","orcid":null},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I15057530","display_name":"Universit\u00e9 de Bordeaux","ror":"https://ror.org/057qpr032","country_code":"FR","type":"education","lineage":["https://openalex.org/I15057530"]},{"id":"https://openalex.org/I4210142254","display_name":"Laboratoire Bordelais de Recherche en Informatique","ror":"https://ror.org/03adqg323","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I15057530","https://openalex.org/I4210142254","https://openalex.org/I4210159245","https://openalex.org/I4210160189"]},{"id":"https://openalex.org/I4210160189","display_name":"Institut Polytechnique de Bordeaux","ror":"https://ror.org/054qv7y42","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210160189"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Hugo Gimbert","raw_affiliation_strings":["CNRS, Universit\u00e9 de Bordeaux, LaBRI"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CNRS, Universit\u00e9 de Bordeaux, LaBRI","institution_ids":["https://openalex.org/I15057530","https://openalex.org/I4210142254","https://openalex.org/I4210160189","https://openalex.org/I1294671590"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5019307337"],"corresponding_institution_ids":["https://openalex.org/I1326498283","https://openalex.org/I2802519937","https://openalex.org/I4210133778"],"apc_list":null,"apc_paid":null,"fwci":0.4163,"has_fulltext":false,"cited_by_count":15,"citation_normalized_percentile":{"value":0.7265807,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"64","issue":"5","first_page":"1","last_page":"48"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11303","display_name":"Bayesian Modeling and Causal Inference","score":0.9954000115394592,"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/T11303","display_name":"Bayesian Modeling and Causal Inference","score":0.9954000115394592,"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.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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9718000292778015,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/determinacy","display_name":"Determinacy","score":0.8342347145080566},{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.8126354217529297},{"id":"https://openalex.org/keywords/decidability","display_name":"Decidability","score":0.6124887466430664},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5325599908828735},{"id":"https://openalex.org/keywords/repeated-game","display_name":"Repeated game","score":0.5056643486022949},{"id":"https://openalex.org/keywords/matching","display_name":"Matching (statistics)","score":0.46258991956710815},{"id":"https://openalex.org/keywords/turns-rounds-and-time-keeping-systems-in-games","display_name":"Turns, rounds and time-keeping systems in games","score":0.44949978590011597},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4369453191757202},{"id":"https://openalex.org/keywords/mathematical-economics","display_name":"Mathematical economics","score":0.4350748658180237},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.41570428013801575},{"id":"https://openalex.org/keywords/perfect-information","display_name":"Perfect information","score":0.41451552510261536},{"id":"https://openalex.org/keywords/game-theory","display_name":"Game theory","score":0.3799475431442261},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3406621217727661},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.12185320258140564},{"id":"https://openalex.org/keywords/game-mechanics","display_name":"Game mechanics","score":0.10770213603973389}],"concepts":[{"id":"https://openalex.org/C58468513","wikidata":"https://www.wikidata.org/wiki/Q1201165","display_name":"Determinacy","level":2,"score":0.8342347145080566},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.8126354217529297},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.6124887466430664},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5325599908828735},{"id":"https://openalex.org/C202556891","wikidata":"https://www.wikidata.org/wiki/Q1584646","display_name":"Repeated game","level":3,"score":0.5056643486022949},{"id":"https://openalex.org/C165064840","wikidata":"https://www.wikidata.org/wiki/Q1321061","display_name":"Matching (statistics)","level":2,"score":0.46258991956710815},{"id":"https://openalex.org/C56694532","wikidata":"https://www.wikidata.org/wiki/Q4421045","display_name":"Turns, rounds and time-keeping systems in games","level":4,"score":0.44949978590011597},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4369453191757202},{"id":"https://openalex.org/C144237770","wikidata":"https://www.wikidata.org/wiki/Q747534","display_name":"Mathematical economics","level":1,"score":0.4350748658180237},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.41570428013801575},{"id":"https://openalex.org/C123676819","wikidata":"https://www.wikidata.org/wiki/Q1074338","display_name":"Perfect information","level":2,"score":0.41451552510261536},{"id":"https://openalex.org/C177142836","wikidata":"https://www.wikidata.org/wiki/Q44455","display_name":"Game theory","level":2,"score":0.3799475431442261},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3406621217727661},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.12185320258140564},{"id":"https://openalex.org/C170828538","wikidata":"https://www.wikidata.org/wiki/Q1751513","display_name":"Game mechanics","level":2,"score":0.10770213603973389},{"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/C47187476","wikidata":"https://www.wikidata.org/wiki/Q12336660","display_name":"Video game design","level":3,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3107926","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3107926","pdf_url":null,"source":{"id":"https://openalex.org/S118992489","display_name":"Journal of the ACM","issn_l":"0004-5411","issn":["0004-5411","1557-735X"],"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":"Journal of the ACM","raw_type":"journal-article"},{"id":"pmh:oai:HAL:hal-01635127v1","is_oa":true,"landing_page_url":"https://inria.hal.science/hal-01635127","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"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":"Journal of the ACM (JACM), 2017, 64 (5), pp.33:1 - 33:48. ⟨10.1145/3107926⟩","raw_type":"Journal articles"}],"best_oa_location":{"id":"pmh:oai:HAL:hal-01635127v1","is_oa":true,"landing_page_url":"https://inria.hal.science/hal-01635127","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"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":"Journal of the ACM (JACM), 2017, 64 (5), pp.33:1 - 33:48. ⟨10.1145/3107926⟩","raw_type":"Journal articles"},"sustainable_development_goals":[{"score":0.5199999809265137,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":41,"referenced_works":["https://openalex.org/W105345236","https://openalex.org/W124331494","https://openalex.org/W135836976","https://openalex.org/W177913229","https://openalex.org/W179875050","https://openalex.org/W1494426349","https://openalex.org/W1516401426","https://openalex.org/W1543883954","https://openalex.org/W1574229394","https://openalex.org/W1603308216","https://openalex.org/W1778174682","https://openalex.org/W1882388987","https://openalex.org/W1966347268","https://openalex.org/W1982429087","https://openalex.org/W1987738956","https://openalex.org/W2017194981","https://openalex.org/W2021792774","https://openalex.org/W2029319064","https://openalex.org/W2038680194","https://openalex.org/W2057554513","https://openalex.org/W2060155289","https://openalex.org/W2066219736","https://openalex.org/W2069791914","https://openalex.org/W2069888227","https://openalex.org/W2074996640","https://openalex.org/W2084766923","https://openalex.org/W2105702545","https://openalex.org/W2112471611","https://openalex.org/W2135432862","https://openalex.org/W2144846366","https://openalex.org/W2147830304","https://openalex.org/W2150944278","https://openalex.org/W2154877638","https://openalex.org/W2169071224","https://openalex.org/W2569902747","https://openalex.org/W2575731723","https://openalex.org/W3103400979","https://openalex.org/W3121198132","https://openalex.org/W4212875940","https://openalex.org/W4232753567","https://openalex.org/W4254547512"],"related_works":["https://openalex.org/W2952103817","https://openalex.org/W4301253215","https://openalex.org/W2494046766","https://openalex.org/W4303488246","https://openalex.org/W4388711601","https://openalex.org/W3123261212","https://openalex.org/W3101910935","https://openalex.org/W2128168853","https://openalex.org/W4293450472","https://openalex.org/W4226140921"],"abstract_inverted_index":{"We":[0,51,87,150],"consider":[1],"two-person":[2],"zero-sum":[3],"stochastic":[4,12],"games":[5,13],"with":[6,14,157,169,182,189,225],"signals,":[7],"a":[8,95,127,208,234,297,306,315],"standard":[9],"model":[10],"of":[11,20,26,37,57,75,163,242,267,293,303],"imperfect":[15],"information.":[16],"The":[17,161,264],"only":[18,154],"source":[19],"information":[21],"for":[22,199,213,333],"the":[23,27,35,38,41,55,73,79,105,114,137,146,190,238,243,294,311],"players":[24,120,153,244,256,295],"consists":[25],"signals":[28],"they":[29,31],"receive;":[30],"cannot":[32,133],"directly":[33],"observe":[34,260,318],"state":[36],"game,":[39,97,129],"nor":[40,47],"actions":[42],"played":[43],"by":[44],"their":[45,48,249,261,319],"opponent,":[46],"own":[49,262],"actions.":[50,86,263],"are":[52,278,282,327,331,342],"interested":[53],"in":[54,94,126,237,269],"existence":[56],"almost-surely":[58,205],"winning":[59,62,70,123,206,210,298,307],"or":[60,68,108,118,207,274],"positively":[61,122,145,209],"strategies,":[63,268],"under":[64],"reachability,":[65],"safety,":[66],"B\u00fcchi,":[67],"co-B\u00fcchi":[69,148],"objectives,":[71],"and":[72,85,185,212,324],"computation":[74],"these":[76],"strategies":[77,156,171,276,281,326,330],"when":[78,255],"game":[80],"has":[81,203,296,305],"finitely":[82],"many":[83],"states":[84,165],"prove":[88,151],"two":[89],"qualitative":[90,191],"determinacy":[91,192,334],"results.":[92],"First,":[93],"reachability":[96,106],"either":[98],"player":[99,109,131,141,202,316],"1":[100,132],"can":[101,111,143,317],"achieve":[102,112,134],"almost":[103,135],"surely":[104,113,136],"objective,":[107,117,139],"2":[110,142],"dual":[115,147],"safety":[116],"both":[119],"have":[121],"strategies.":[124],"Second,":[125],"B\u00fcchi":[128,138],"if":[130,314],"then":[140,321],"ensure":[144],"objective.":[149],"that":[152,291,338],"need":[155],"finite":[158],"memory":[159,164,340],".":[160],"number":[162],"needed":[166],"to":[167,176,179,223,285,335],"win":[168],"finite-memory":[170,217],"ranges":[172,220],"from":[173,221],"one":[174,241,292],"(corresponding":[175],"memoryless":[177],"strategies)":[178],"doubly":[180],"exponential,":[181],"matching":[183,226],"upper":[184],"lower":[186,227],"bounds.":[187,228],"Together":[188],"results,":[193],"we":[194],"also":[195,232],"provide":[196],"fix-point":[197,230],"algorithms":[198,231],"deciding":[200],"which":[201],"an":[204,215],"strategy":[211,300],"computing":[214],"associated":[216],"strategy.":[218,309],"Complexity":[219],"EXPTIME":[222],"2EXPTIME,":[224],"Our":[229,251],"enjoy":[233],"better":[235,246],"complexity":[236],"cases":[239],"where":[240],"is":[245,272],"informed":[247],"than":[248],"opponent.":[250],"results":[252],"hold":[253],"even":[254],"do":[257],"not":[258],"necessarily":[259],"adequate":[265],"class":[266],"this":[270],"case,":[271],"mixed":[273],"general":[275,299],"(they":[277],"equivalent).":[279],"Behavioral":[280],"too":[283],"restrictive":[284],"guarantee":[286],"determinacy:":[287],"it":[288],"may":[289],"happen":[290],"but":[301],"none":[302],"them":[304],"behavioral":[308,325],"On":[310],"other":[312],"hand,":[313],"actions,":[320],"general,":[322],"mixed,":[323],"equivalent.":[328],"Finite-memory":[329],"sufficient":[332],"hold,":[336],"provided":[337],"randomized":[339],"updates":[341],"allowed.":[343]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":4},{"year":2021,"cited_by_count":1},{"year":2018,"cited_by_count":2}],"updated_date":"2026-04-30T09:15:22.047038","created_date":"2025-10-10T00:00:00"}