{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:VN2W7HYFVXQ4UQ5Q3DUIHOTQKQ","short_pith_number":"pith:VN2W7HYF","canonical_record":{"source":{"id":"2405.02486","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.GT","submitted_at":"2024-05-03T21:26:56Z","cross_cats_sorted":[],"title_canon_sha256":"01afdd12336e70c132fef9dd431b9d08fd409d1d9f24fbbd8777e41486bceb38","abstract_canon_sha256":"5d43ca582b86895fdfeedd91d524af12890eca3b2d00dd44d3973deab19b89a8"},"schema_version":"1.0"},"canonical_sha256":"ab756f9f05ade1ca43b0d8e883ba70540b0076e819b8be90a6e73ce105fbf569","source":{"kind":"arxiv","id":"2405.02486","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2405.02486","created_at":"2026-07-05T09:17:41Z"},{"alias_kind":"arxiv_version","alias_value":"2405.02486v2","created_at":"2026-07-05T09:17:41Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2405.02486","created_at":"2026-07-05T09:17:41Z"},{"alias_kind":"pith_short_12","alias_value":"VN2W7HYFVXQ4","created_at":"2026-07-05T09:17:41Z"},{"alias_kind":"pith_short_16","alias_value":"VN2W7HYFVXQ4UQ5Q","created_at":"2026-07-05T09:17:41Z"},{"alias_kind":"pith_short_8","alias_value":"VN2W7HYF","created_at":"2026-07-05T09:17:41Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:VN2W7HYFVXQ4UQ5Q3DUIHOTQKQ","target":"record","payload":{"canonical_record":{"source":{"id":"2405.02486","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.GT","submitted_at":"2024-05-03T21:26:56Z","cross_cats_sorted":[],"title_canon_sha256":"01afdd12336e70c132fef9dd431b9d08fd409d1d9f24fbbd8777e41486bceb38","abstract_canon_sha256":"5d43ca582b86895fdfeedd91d524af12890eca3b2d00dd44d3973deab19b89a8"},"schema_version":"1.0"},"canonical_sha256":"ab756f9f05ade1ca43b0d8e883ba70540b0076e819b8be90a6e73ce105fbf569","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:17:41.139564Z","signature_b64":"xA8Ou8WXvEzRo19uj97Ua3TI0IMfaEADPjb74j5B4bDPvbNUmo7ykvZVcThI2N8Sj2SOaJV3ZbsqkCnwSVvDAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ab756f9f05ade1ca43b0d8e883ba70540b0076e819b8be90a6e73ce105fbf569","last_reissued_at":"2026-07-05T09:17:41.139075Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:17:41.139075Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2405.02486","source_version":2,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T09:17:41Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"OMi3ToOa5mX2q0EuvfAj7PBBd86dK2xOQW3U3TgNzEDe8+SpyzEiK2+TRcMieqVjZ0wMyELQZROodPZ76GqGAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T08:17:06.913294Z"},"content_sha256":"8b16eed320672f034fb0bc4fc08f1db5bc162ca31a4beefefcc86a9b9ab87ef9","schema_version":"1.0","event_id":"sha256:8b16eed320672f034fb0bc4fc08f1db5bc162ca31a4beefefcc86a9b9ab87ef9"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:VN2W7HYFVXQ4UQ5Q3DUIHOTQKQ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Concurrent Stochastic Games with Stateful-discounted and Parity Objectives: Complexity and Algorithms","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.GT","authors_text":"Ali Asadi, Jakub Svoboda, Krishnendu Chatterjee, Raimundo Saona","submitted_at":"2024-05-03T21:26:56Z","abstract_excerpt":"We study two-player zero-sum concurrent stochastic games with finite state and action space played for an infinite number of steps. In every step, the two players simultaneously and independently choose an action. Given the current state and the chosen actions, the next state is obtained according to a stochastic transition function. An objective is a measurable function on plays (or infinite trajectories) of the game, and the value for an objective is the maximal expectation that the player can guarantee against the adversarial player. We consider: (a) stateful-discounted objectives, which ar"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2405.02486","kind":"arxiv","version":2},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2405.02486/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T09:17:41Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"cByarbj3qBMxpoEvHPyL5Pzsh5p+zm9/A/m41sKp2t9RKqRfTbx8Emh4aFWO4OgLNk0hnYh7p/mJliYgP/LzDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T08:17:06.914042Z"},"content_sha256":"3895bee840eb780e2bb5c57490b8f2360fc6c788f0f695a80998ee15904dbb48","schema_version":"1.0","event_id":"sha256:3895bee840eb780e2bb5c57490b8f2360fc6c788f0f695a80998ee15904dbb48"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/VN2W7HYFVXQ4UQ5Q3DUIHOTQKQ/bundle.json","state_url":"https://pith.science/pith/VN2W7HYFVXQ4UQ5Q3DUIHOTQKQ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/VN2W7HYFVXQ4UQ5Q3DUIHOTQKQ/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-08-06T08:17:06Z","links":{"resolver":"https://pith.science/pith/VN2W7HYFVXQ4UQ5Q3DUIHOTQKQ","bundle":"https://pith.science/pith/VN2W7HYFVXQ4UQ5Q3DUIHOTQKQ/bundle.json","state":"https://pith.science/pith/VN2W7HYFVXQ4UQ5Q3DUIHOTQKQ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/VN2W7HYFVXQ4UQ5Q3DUIHOTQKQ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:VN2W7HYFVXQ4UQ5Q3DUIHOTQKQ","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"5d43ca582b86895fdfeedd91d524af12890eca3b2d00dd44d3973deab19b89a8","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.GT","submitted_at":"2024-05-03T21:26:56Z","title_canon_sha256":"01afdd12336e70c132fef9dd431b9d08fd409d1d9f24fbbd8777e41486bceb38"},"schema_version":"1.0","source":{"id":"2405.02486","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2405.02486","created_at":"2026-07-05T09:17:41Z"},{"alias_kind":"arxiv_version","alias_value":"2405.02486v2","created_at":"2026-07-05T09:17:41Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2405.02486","created_at":"2026-07-05T09:17:41Z"},{"alias_kind":"pith_short_12","alias_value":"VN2W7HYFVXQ4","created_at":"2026-07-05T09:17:41Z"},{"alias_kind":"pith_short_16","alias_value":"VN2W7HYFVXQ4UQ5Q","created_at":"2026-07-05T09:17:41Z"},{"alias_kind":"pith_short_8","alias_value":"VN2W7HYF","created_at":"2026-07-05T09:17:41Z"}],"graph_snapshots":[{"event_id":"sha256:3895bee840eb780e2bb5c57490b8f2360fc6c788f0f695a80998ee15904dbb48","target":"graph","created_at":"2026-07-05T09:17:41Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2405.02486/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We study two-player zero-sum concurrent stochastic games with finite state and action space played for an infinite number of steps. In every step, the two players simultaneously and independently choose an action. Given the current state and the chosen actions, the next state is obtained according to a stochastic transition function. An objective is a measurable function on plays (or infinite trajectories) of the game, and the value for an objective is the maximal expectation that the player can guarantee against the adversarial player. We consider: (a) stateful-discounted objectives, which ar","authors_text":"Ali Asadi, Jakub Svoboda, Krishnendu Chatterjee, Raimundo Saona","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.GT","submitted_at":"2024-05-03T21:26:56Z","title":"Concurrent Stochastic Games with Stateful-discounted and Parity Objectives: Complexity and Algorithms"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2405.02486","kind":"arxiv","version":2},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:8b16eed320672f034fb0bc4fc08f1db5bc162ca31a4beefefcc86a9b9ab87ef9","target":"record","created_at":"2026-07-05T09:17:41Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"5d43ca582b86895fdfeedd91d524af12890eca3b2d00dd44d3973deab19b89a8","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.GT","submitted_at":"2024-05-03T21:26:56Z","title_canon_sha256":"01afdd12336e70c132fef9dd431b9d08fd409d1d9f24fbbd8777e41486bceb38"},"schema_version":"1.0","source":{"id":"2405.02486","kind":"arxiv","version":2}},"canonical_sha256":"ab756f9f05ade1ca43b0d8e883ba70540b0076e819b8be90a6e73ce105fbf569","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ab756f9f05ade1ca43b0d8e883ba70540b0076e819b8be90a6e73ce105fbf569","first_computed_at":"2026-07-05T09:17:41.139075Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T09:17:41.139075Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"xA8Ou8WXvEzRo19uj97Ua3TI0IMfaEADPjb74j5B4bDPvbNUmo7ykvZVcThI2N8Sj2SOaJV3ZbsqkCnwSVvDAQ==","signature_status":"signed_v1","signed_at":"2026-07-05T09:17:41.139564Z","signed_message":"canonical_sha256_bytes"},"source_id":"2405.02486","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8b16eed320672f034fb0bc4fc08f1db5bc162ca31a4beefefcc86a9b9ab87ef9","sha256:3895bee840eb780e2bb5c57490b8f2360fc6c788f0f695a80998ee15904dbb48"],"state_sha256":"c03779af62244d33ea492e86821293f2d2038f99b5ede5a1dbf1ecfa7d2ba0b2"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9Fe8egICzO5AMr1tBShC6Y1CHh+yL6Q0LVkPF9c3ONrQkh0sJj3EvxHOSRnZIQkBtDNFeRfbTt56+4P9vDR4BA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-06T08:17:06.919997Z","bundle_sha256":"bd1ef6332f6ec045ced00c0d44dd04701c6bb5bf04dc22d0563ead3657c20846"}}