{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:22RLX33C3YNY67H335Q5RVENEC","short_pith_number":"pith:22RLX33C","canonical_record":{"source":{"id":"1604.06376","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-04-21T16:31:04Z","cross_cats_sorted":[],"title_canon_sha256":"ee5da3a89ff3a928f8f990186045551787f98af375ef049b2e014825891a9328","abstract_canon_sha256":"0e73214eb2d4aa365b8855070ad8211e9363372f8791ac36d2ef90913e3e80c3"},"schema_version":"1.0"},"canonical_sha256":"d6a2bbef62de1b8f7cfbdf61d8d48d20a228e5ea03de80a487126d7b6c4725c3","source":{"kind":"arxiv","id":"1604.06376","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1604.06376","created_at":"2026-05-18T01:16:31Z"},{"alias_kind":"arxiv_version","alias_value":"1604.06376v1","created_at":"2026-05-18T01:16:31Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1604.06376","created_at":"2026-05-18T01:16:31Z"},{"alias_kind":"pith_short_12","alias_value":"22RLX33C3YNY","created_at":"2026-05-18T12:29:52Z"},{"alias_kind":"pith_short_16","alias_value":"22RLX33C3YNY67H3","created_at":"2026-05-18T12:29:52Z"},{"alias_kind":"pith_short_8","alias_value":"22RLX33C","created_at":"2026-05-18T12:29:52Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:22RLX33C3YNY67H335Q5RVENEC","target":"record","payload":{"canonical_record":{"source":{"id":"1604.06376","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-04-21T16:31:04Z","cross_cats_sorted":[],"title_canon_sha256":"ee5da3a89ff3a928f8f990186045551787f98af375ef049b2e014825891a9328","abstract_canon_sha256":"0e73214eb2d4aa365b8855070ad8211e9363372f8791ac36d2ef90913e3e80c3"},"schema_version":"1.0"},"canonical_sha256":"d6a2bbef62de1b8f7cfbdf61d8d48d20a228e5ea03de80a487126d7b6c4725c3","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:16:31.898839Z","signature_b64":"ENsa0uNEWSLqv5+UDclKyRRKolqDKlUS1KfiA0TdF8wPLx0zGxQfHL6r05Vmd9x6YuwRvMoA6xTLVWv7huLvAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d6a2bbef62de1b8f7cfbdf61d8d48d20a228e5ea03de80a487126d7b6c4725c3","last_reissued_at":"2026-05-18T01:16:31.898214Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:16:31.898214Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1604.06376","source_version":1,"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-05-18T01:16:31Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qiFg4wDNArCFbwsykc3KeqXOrKJwp3HBx7YFZ7oO0jgZqq8YIwgGti/LLIY3o3Lc/CiytMXSpOukaNFxmrhkBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T19:42:28.600468Z"},"content_sha256":"765e7370ace7b79127c419cd1e62b3fbca13333e3e681a1f6a2ba4830b80a254","schema_version":"1.0","event_id":"sha256:765e7370ace7b79127c419cd1e62b3fbca13333e3e681a1f6a2ba4830b80a254"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:22RLX33C3YNY67H335Q5RVENEC","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Perfect-Information Stochastic Games with Generalized Mean-Payoff Objectives","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Krishnendu Chatterjee, Laurent Doyen","submitted_at":"2016-04-21T16:31:04Z","abstract_excerpt":"Graph games provide the foundation for modeling and synthesizing reactive processes. In the synthesis of stochastic reactive processes, the traditional model is perfect-information stochastic games, where some transitions of the game graph are controlled by two adversarial players, and the other transitions are executed probabilistically. We consider such games where the objective is the conjunction of several quantitative objectives (specified as mean-payoff conditions), which we refer to as generalized mean-payoff objectives. The basic decision problem asks for the existence of a finite-memo"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1604.06376","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"},"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-05-18T01:16:31Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"i1zbHFO2c+X0LbzKUyKm/wS7y7cFtNwZCCU7QxxSofjAjlmB59PeDrgNvffnCs/Yw1GfAwgP8fghAh6zbbrGCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T19:42:28.601114Z"},"content_sha256":"4ecd6690deb5757bfa017325774fc27478976b2c2645bebafce286584c317c1d","schema_version":"1.0","event_id":"sha256:4ecd6690deb5757bfa017325774fc27478976b2c2645bebafce286584c317c1d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/22RLX33C3YNY67H335Q5RVENEC/bundle.json","state_url":"https://pith.science/pith/22RLX33C3YNY67H335Q5RVENEC/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/22RLX33C3YNY67H335Q5RVENEC/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-05-25T19:42:28Z","links":{"resolver":"https://pith.science/pith/22RLX33C3YNY67H335Q5RVENEC","bundle":"https://pith.science/pith/22RLX33C3YNY67H335Q5RVENEC/bundle.json","state":"https://pith.science/pith/22RLX33C3YNY67H335Q5RVENEC/state.json","well_known_bundle":"https://pith.science/.well-known/pith/22RLX33C3YNY67H335Q5RVENEC/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:22RLX33C3YNY67H335Q5RVENEC","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":"0e73214eb2d4aa365b8855070ad8211e9363372f8791ac36d2ef90913e3e80c3","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-04-21T16:31:04Z","title_canon_sha256":"ee5da3a89ff3a928f8f990186045551787f98af375ef049b2e014825891a9328"},"schema_version":"1.0","source":{"id":"1604.06376","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1604.06376","created_at":"2026-05-18T01:16:31Z"},{"alias_kind":"arxiv_version","alias_value":"1604.06376v1","created_at":"2026-05-18T01:16:31Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1604.06376","created_at":"2026-05-18T01:16:31Z"},{"alias_kind":"pith_short_12","alias_value":"22RLX33C3YNY","created_at":"2026-05-18T12:29:52Z"},{"alias_kind":"pith_short_16","alias_value":"22RLX33C3YNY67H3","created_at":"2026-05-18T12:29:52Z"},{"alias_kind":"pith_short_8","alias_value":"22RLX33C","created_at":"2026-05-18T12:29:52Z"}],"graph_snapshots":[{"event_id":"sha256:4ecd6690deb5757bfa017325774fc27478976b2c2645bebafce286584c317c1d","target":"graph","created_at":"2026-05-18T01:16:31Z","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"},"paper":{"abstract_excerpt":"Graph games provide the foundation for modeling and synthesizing reactive processes. In the synthesis of stochastic reactive processes, the traditional model is perfect-information stochastic games, where some transitions of the game graph are controlled by two adversarial players, and the other transitions are executed probabilistically. We consider such games where the objective is the conjunction of several quantitative objectives (specified as mean-payoff conditions), which we refer to as generalized mean-payoff objectives. The basic decision problem asks for the existence of a finite-memo","authors_text":"Krishnendu Chatterjee, Laurent Doyen","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-04-21T16:31:04Z","title":"Perfect-Information Stochastic Games with Generalized Mean-Payoff Objectives"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1604.06376","kind":"arxiv","version":1},"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:765e7370ace7b79127c419cd1e62b3fbca13333e3e681a1f6a2ba4830b80a254","target":"record","created_at":"2026-05-18T01:16:31Z","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":"0e73214eb2d4aa365b8855070ad8211e9363372f8791ac36d2ef90913e3e80c3","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-04-21T16:31:04Z","title_canon_sha256":"ee5da3a89ff3a928f8f990186045551787f98af375ef049b2e014825891a9328"},"schema_version":"1.0","source":{"id":"1604.06376","kind":"arxiv","version":1}},"canonical_sha256":"d6a2bbef62de1b8f7cfbdf61d8d48d20a228e5ea03de80a487126d7b6c4725c3","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d6a2bbef62de1b8f7cfbdf61d8d48d20a228e5ea03de80a487126d7b6c4725c3","first_computed_at":"2026-05-18T01:16:31.898214Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:16:31.898214Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ENsa0uNEWSLqv5+UDclKyRRKolqDKlUS1KfiA0TdF8wPLx0zGxQfHL6r05Vmd9x6YuwRvMoA6xTLVWv7huLvAw==","signature_status":"signed_v1","signed_at":"2026-05-18T01:16:31.898839Z","signed_message":"canonical_sha256_bytes"},"source_id":"1604.06376","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:765e7370ace7b79127c419cd1e62b3fbca13333e3e681a1f6a2ba4830b80a254","sha256:4ecd6690deb5757bfa017325774fc27478976b2c2645bebafce286584c317c1d"],"state_sha256":"05700f47002e33d4ebc40df97b5fce0734e9b65cd3253e1b48d8fa2adf274357"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"s/tBWcIS3OyCdHjNJCCyC1xbFY/35/Id3DMYqXUctitqExUxbOz+LuLKFv/2610vTha2O9203fQm/lWPQnd2Cg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-25T19:42:28.610359Z","bundle_sha256":"701fac585381d6cff45e8efc03000d3c4bd477835d35cba77044ebc43d799a4e"}}