{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2016:FPXK2ZXFHKB67LIPK2LXBXUZY4","short_pith_number":"pith:FPXK2ZXF","schema_version":"1.0","canonical_sha256":"2beead66e53a83efad0f569770de99c72f0035a42c77c88f11eacb850e14160f","source":{"kind":"arxiv","id":"1605.07753","version":1},"attestation_state":"computed","paper":{"title":"Deciding Maxmin Reachability in Half-Blind Stochastic Games","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.FL","cs.LO"],"primary_cat":"cs.GT","authors_text":"Edon Kelmendi (LaBRI), Hugo Gimbert (LaBRI)","submitted_at":"2016-05-25T06:53:44Z","abstract_excerpt":"Two-player, turn-based, stochastic games with reachability conditions are considered, where the maximizer has no information (he is blind) and is restricted to deterministic strategies whereas the minimizer is perfectly informed. We ask the question of whether the game has maxmin 1, in other words we ask whether for all $\\epsilon>0$ there exists a deterministic strategy for the (blind) maximizer such that against all the strategies of the minimizer, it is possible to reach the set of final states with probability larger than $1-\\epsilon$. This problem is undecidable in general, but we define a"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1605.07753","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GT","submitted_at":"2016-05-25T06:53:44Z","cross_cats_sorted":["cs.FL","cs.LO"],"title_canon_sha256":"b3846a9da4327840f9442e93b382a437891a7fc13ecd39ad9413afddb1eacb0a","abstract_canon_sha256":"e2f4c842579bab8f6e63ce2af3b857e18b6e302c06979c82a34d6cf34fe7ad13"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:13:39.194512Z","signature_b64":"YW9oRR+DV39VE3RVvvcaGtqLCuOfWP1tA+YMIXfmgwGK27+kpgYxDD2Xs+GWVVt1MzNoPLXAVhjiF3n5B+B+AQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2beead66e53a83efad0f569770de99c72f0035a42c77c88f11eacb850e14160f","last_reissued_at":"2026-05-18T01:13:39.193827Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:13:39.193827Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Deciding Maxmin Reachability in Half-Blind Stochastic Games","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.FL","cs.LO"],"primary_cat":"cs.GT","authors_text":"Edon Kelmendi (LaBRI), Hugo Gimbert (LaBRI)","submitted_at":"2016-05-25T06:53:44Z","abstract_excerpt":"Two-player, turn-based, stochastic games with reachability conditions are considered, where the maximizer has no information (he is blind) and is restricted to deterministic strategies whereas the minimizer is perfectly informed. We ask the question of whether the game has maxmin 1, in other words we ask whether for all $\\epsilon>0$ there exists a deterministic strategy for the (blind) maximizer such that against all the strategies of the minimizer, it is possible to reach the set of final states with probability larger than $1-\\epsilon$. This problem is undecidable in general, but we define a"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1605.07753","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"1605.07753","created_at":"2026-05-18T01:13:39.193923+00:00"},{"alias_kind":"arxiv_version","alias_value":"1605.07753v1","created_at":"2026-05-18T01:13:39.193923+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1605.07753","created_at":"2026-05-18T01:13:39.193923+00:00"},{"alias_kind":"pith_short_12","alias_value":"FPXK2ZXFHKB6","created_at":"2026-05-18T12:30:15.759754+00:00"},{"alias_kind":"pith_short_16","alias_value":"FPXK2ZXFHKB67LIP","created_at":"2026-05-18T12:30:15.759754+00:00"},{"alias_kind":"pith_short_8","alias_value":"FPXK2ZXF","created_at":"2026-05-18T12:30:15.759754+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/FPXK2ZXFHKB67LIPK2LXBXUZY4","json":"https://pith.science/pith/FPXK2ZXFHKB67LIPK2LXBXUZY4.json","graph_json":"https://pith.science/api/pith-number/FPXK2ZXFHKB67LIPK2LXBXUZY4/graph.json","events_json":"https://pith.science/api/pith-number/FPXK2ZXFHKB67LIPK2LXBXUZY4/events.json","paper":"https://pith.science/paper/FPXK2ZXF"},"agent_actions":{"view_html":"https://pith.science/pith/FPXK2ZXFHKB67LIPK2LXBXUZY4","download_json":"https://pith.science/pith/FPXK2ZXFHKB67LIPK2LXBXUZY4.json","view_paper":"https://pith.science/paper/FPXK2ZXF","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1605.07753&json=true","fetch_graph":"https://pith.science/api/pith-number/FPXK2ZXFHKB67LIPK2LXBXUZY4/graph.json","fetch_events":"https://pith.science/api/pith-number/FPXK2ZXFHKB67LIPK2LXBXUZY4/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/FPXK2ZXFHKB67LIPK2LXBXUZY4/action/timestamp_anchor","attest_storage":"https://pith.science/pith/FPXK2ZXFHKB67LIPK2LXBXUZY4/action/storage_attestation","attest_author":"https://pith.science/pith/FPXK2ZXFHKB67LIPK2LXBXUZY4/action/author_attestation","sign_citation":"https://pith.science/pith/FPXK2ZXFHKB67LIPK2LXBXUZY4/action/citation_signature","submit_replication":"https://pith.science/pith/FPXK2ZXFHKB67LIPK2LXBXUZY4/action/replication_record"}},"created_at":"2026-05-18T01:13:39.193923+00:00","updated_at":"2026-05-18T01:13:39.193923+00:00"}