{"id":"https://openalex.org/W7134829836","doi":"https://doi.org/10.48550/arxiv.2603.07094","title":"Randomise Alone, Reach as a Team","display_name":"Randomise Alone, Reach as a Team","publication_year":2026,"publication_date":"2026-03-07","ids":{"openalex":"https://openalex.org/W7134829836","doi":"https://doi.org/10.48550/arxiv.2603.07094"},"language":null,"primary_location":{"id":"pmh:doi:10.48550/arxiv.2603.07094","is_oa":true,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4406922384","display_name":"Open MIND","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Article"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":null,"any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5128659078","display_name":"L\u00e9onard Brice","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Brice, L\u00e9onard","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5128687887","display_name":"Thomas A. Henzinger","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Henzinger, Thomas A.","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5128660350","display_name":"Alipasha Montaseri","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Montaseri, Alipasha","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5005733468","display_name":"Ali Shafiee","orcid":"https://orcid.org/0000-0002-6423-9315"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Shafiee, Ali","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5128639640","display_name":"K. S. Thejaswini","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Thejaswini, K. S.","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5128659078"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.35589998960494995,"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.35589998960494995,"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/T10991","display_name":"Game Theory and Voting Systems","score":0.17170000076293945,"subfield":{"id":"https://openalex.org/subfields/2002","display_name":"Economics and Econometrics"},"field":{"id":"https://openalex.org/fields/20","display_name":"Economics, Econometrics and Finance"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.15109999477863312,"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/reachability","display_name":"Reachability","score":0.6499000191688538},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5386999845504761},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.48249998688697815},{"id":"https://openalex.org/keywords/adversary","display_name":"Adversary","score":0.436599999666214},{"id":"https://openalex.org/keywords/solver","display_name":"Solver","score":0.40880000591278076},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.3763999938964844}],"concepts":[{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.6499000191688538},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6262999773025513},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5386999845504761},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.48249998688697815},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4742000102996826},{"id":"https://openalex.org/C41065033","wikidata":"https://www.wikidata.org/wiki/Q2825412","display_name":"Adversary","level":2,"score":0.436599999666214},{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.40880000591278076},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.3763999938964844},{"id":"https://openalex.org/C6943359","wikidata":"https://www.wikidata.org/wiki/Q875276","display_name":"Boolean satisfiability problem","level":2,"score":0.3476000130176544},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.2939000129699707},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.29010000824928284},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2815999984741211},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2615000009536743},{"id":"https://openalex.org/C48372109","wikidata":"https://www.wikidata.org/wiki/Q3913","display_name":"Binary number","level":2,"score":0.26080000400543213},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.25780001282691956},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.2533999979496002}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:doi:10.48550/arxiv.2603.07094","is_oa":true,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4406922384","display_name":"Open MIND","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Article"},{"id":"doi:10.48550/arxiv.2603.07094","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2603.07094","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"pmh:doi:10.48550/arxiv.2603.07094","is_oa":true,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4406922384","display_name":"Open MIND","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.4121536314487457,"display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"We":[0,49,103,120],"study":[1,23],"concurrent":[2],"graph":[3],"games":[4],"where":[5],"n":[6],"players":[7,27],"cooperate":[8],"against":[9],"an":[10],"opponent":[11,44],"to":[12,135],"reach":[13],"a":[14,31,64,76,78,148,161],"set":[15],"of":[16,33,90,99,151],"target":[17],"states.":[18],"Unlike":[19],"traditional":[20],"settings,":[21],"we":[22,117,157,174],"distributed":[24],"randomisation:":[25],"team":[26,68],"do":[28],"not":[29,81],"share":[30],"source":[32,150],"randomness,":[34],"and":[35,45,159,166],"their":[36],"private":[37],"random":[38],"sources":[39],"are":[40,54],"hidden":[41],"from":[42,46],"the":[43,57,67,84,87,91,97,107,113,131,154,164,171],"each":[47],"other.":[48],"show":[50,105],"that":[51,69,74,80,106,146,173],"memoryless":[52],"strategies":[53],"sufficient":[55],"for":[56,66,144,163],"threshold":[58,108,165],"problem":[59,85,109,168],"(deciding":[60],"whether":[61],"there":[62],"is":[63,110],"strategy":[65],"ensures":[70],"winning":[71],"with":[72,140],"probability":[73,138],"exceeds":[75],"threshold),":[77],"result":[79],"only":[82],"places":[83],"in":[86],"Existential":[88],"Theory":[89],"Reals":[92],"(\\exists\\mathbb{R})":[93],"but":[94],"also":[95],"enables":[96],"construction":[98],"value":[100],"iteration":[101],"algorithms.":[102],"additionally":[104],"NP-hard.":[111],"For":[112],"almost-sure":[114,167],"reachability":[115],"problem,":[116],"prove":[118],"NP-completeness.":[119],"introduce":[121],"Individually":[122],"Randomised":[123],"Alternating-time":[124],"Temporal":[125],"Logic":[126],"(IRATL).":[127],"This":[128],"logic":[129],"extends":[130],"standard":[132],"ATL":[133],"framework":[134],"reason":[136],"about":[137],"thresholds,":[139],"semantics":[141],"explicitly":[142],"designed":[143],"coalitions":[145],"lack":[147],"shared":[149],"randomness.":[152],"On":[153],"practical":[155],"side,":[156],"implement":[158],"evaluate":[160],"solver":[162],"based":[169],"on":[170],"algorithms":[172],"develop.":[175]},"counts_by_year":[],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2026-03-11T00:00:00"}