{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:2SI4NZKLKJXKZTNNLBS3OOG2EE","short_pith_number":"pith:2SI4NZKL","canonical_record":{"source":{"id":"1605.03811","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GT","submitted_at":"2016-05-12T13:44:57Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"e73ef99c004c9a78979535f931a59b4c36899f512717f64630935cf03c2baf5b","abstract_canon_sha256":"288eed264a9e353b43359d3ac18e41ae8bf87a6d1401eb5b3e18aa73fa24f196"},"schema_version":"1.0"},"canonical_sha256":"d491c6e54b526eaccdad5865b738da213d3c696a6431465e340a2da67f2b50c6","source":{"kind":"arxiv","id":"1605.03811","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1605.03811","created_at":"2026-05-18T01:14:59Z"},{"alias_kind":"arxiv_version","alias_value":"1605.03811v1","created_at":"2026-05-18T01:14:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1605.03811","created_at":"2026-05-18T01:14:59Z"},{"alias_kind":"pith_short_12","alias_value":"2SI4NZKLKJXK","created_at":"2026-05-18T12:29:55Z"},{"alias_kind":"pith_short_16","alias_value":"2SI4NZKLKJXKZTNN","created_at":"2026-05-18T12:29:55Z"},{"alias_kind":"pith_short_8","alias_value":"2SI4NZKL","created_at":"2026-05-18T12:29:55Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:2SI4NZKLKJXKZTNNLBS3OOG2EE","target":"record","payload":{"canonical_record":{"source":{"id":"1605.03811","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GT","submitted_at":"2016-05-12T13:44:57Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"e73ef99c004c9a78979535f931a59b4c36899f512717f64630935cf03c2baf5b","abstract_canon_sha256":"288eed264a9e353b43359d3ac18e41ae8bf87a6d1401eb5b3e18aa73fa24f196"},"schema_version":"1.0"},"canonical_sha256":"d491c6e54b526eaccdad5865b738da213d3c696a6431465e340a2da67f2b50c6","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:14:59.439615Z","signature_b64":"WDe/zcICLBjK27wri2ocZdZLDNzlIJZ8MvaxxG1saHZxM9JFmwsGv0z8H5Zjm6ilL+QgGmK+9ukYBuyASNTADg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d491c6e54b526eaccdad5865b738da213d3c696a6431465e340a2da67f2b50c6","last_reissued_at":"2026-05-18T01:14:59.439033Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:14:59.439033Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1605.03811","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:14:59Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"pUWf2xIJb/eISP0EK1mzwX16JaQa7jSTMrOyDh5DHDkN8qFy8YOnqRqZBtV6vmKyuAkrRTdUtgs/Iw4O3kypAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T07:13:26.582104Z"},"content_sha256":"e255990571db14388862c82239d09a3b8a0d800fb8e7d088d3584bfb063c2d0c","schema_version":"1.0","event_id":"sha256:e255990571db14388862c82239d09a3b8a0d800fb8e7d088d3584bfb063c2d0c"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:2SI4NZKLKJXKZTNNLBS3OOG2EE","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Decidability Results for Multi-objective Stochastic Games","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.GT","authors_text":"Romain Brenguier, Vojt\\v{e}ch Forejt","submitted_at":"2016-05-12T13:44:57Z","abstract_excerpt":"We study stochastic two-player turn-based games in which the objective of one player is to ensure several infinite-horizon total reward objectives, while the other player attempts to spoil at least one of the objectives. The games have previously been shown not to be determined, and an approximation algorithm for computing a Pareto curve has been given. The major drawback of the existing algorithm is that it needs to compute Pareto curves for finite horizon objectives (for increasing length of the horizon), and the size of these Pareto curves can grow unboundedly, even when the infinite-horizo"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1605.03811","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:14:59Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"N6tvXtoI68wPRN21VHcHU3Iny1M2i6anxnGm/KYjmh0qFgvbg4+t7vgTELSB82XZWK9NO3shoMNYRyZKT5C1AQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T07:13:26.582548Z"},"content_sha256":"8f0b8ddddd68db1003c30968585c500b5be1344ac2583d053ea998fb7af7de95","schema_version":"1.0","event_id":"sha256:8f0b8ddddd68db1003c30968585c500b5be1344ac2583d053ea998fb7af7de95"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/2SI4NZKLKJXKZTNNLBS3OOG2EE/bundle.json","state_url":"https://pith.science/pith/2SI4NZKLKJXKZTNNLBS3OOG2EE/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/2SI4NZKLKJXKZTNNLBS3OOG2EE/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-27T07:13:26Z","links":{"resolver":"https://pith.science/pith/2SI4NZKLKJXKZTNNLBS3OOG2EE","bundle":"https://pith.science/pith/2SI4NZKLKJXKZTNNLBS3OOG2EE/bundle.json","state":"https://pith.science/pith/2SI4NZKLKJXKZTNNLBS3OOG2EE/state.json","well_known_bundle":"https://pith.science/.well-known/pith/2SI4NZKLKJXKZTNNLBS3OOG2EE/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:2SI4NZKLKJXKZTNNLBS3OOG2EE","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":"288eed264a9e353b43359d3ac18e41ae8bf87a6d1401eb5b3e18aa73fa24f196","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GT","submitted_at":"2016-05-12T13:44:57Z","title_canon_sha256":"e73ef99c004c9a78979535f931a59b4c36899f512717f64630935cf03c2baf5b"},"schema_version":"1.0","source":{"id":"1605.03811","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1605.03811","created_at":"2026-05-18T01:14:59Z"},{"alias_kind":"arxiv_version","alias_value":"1605.03811v1","created_at":"2026-05-18T01:14:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1605.03811","created_at":"2026-05-18T01:14:59Z"},{"alias_kind":"pith_short_12","alias_value":"2SI4NZKLKJXK","created_at":"2026-05-18T12:29:55Z"},{"alias_kind":"pith_short_16","alias_value":"2SI4NZKLKJXKZTNN","created_at":"2026-05-18T12:29:55Z"},{"alias_kind":"pith_short_8","alias_value":"2SI4NZKL","created_at":"2026-05-18T12:29:55Z"}],"graph_snapshots":[{"event_id":"sha256:8f0b8ddddd68db1003c30968585c500b5be1344ac2583d053ea998fb7af7de95","target":"graph","created_at":"2026-05-18T01:14:59Z","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":"We study stochastic two-player turn-based games in which the objective of one player is to ensure several infinite-horizon total reward objectives, while the other player attempts to spoil at least one of the objectives. The games have previously been shown not to be determined, and an approximation algorithm for computing a Pareto curve has been given. The major drawback of the existing algorithm is that it needs to compute Pareto curves for finite horizon objectives (for increasing length of the horizon), and the size of these Pareto curves can grow unboundedly, even when the infinite-horizo","authors_text":"Romain Brenguier, Vojt\\v{e}ch Forejt","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GT","submitted_at":"2016-05-12T13:44:57Z","title":"Decidability Results for Multi-objective Stochastic Games"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1605.03811","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:e255990571db14388862c82239d09a3b8a0d800fb8e7d088d3584bfb063c2d0c","target":"record","created_at":"2026-05-18T01:14:59Z","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":"288eed264a9e353b43359d3ac18e41ae8bf87a6d1401eb5b3e18aa73fa24f196","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GT","submitted_at":"2016-05-12T13:44:57Z","title_canon_sha256":"e73ef99c004c9a78979535f931a59b4c36899f512717f64630935cf03c2baf5b"},"schema_version":"1.0","source":{"id":"1605.03811","kind":"arxiv","version":1}},"canonical_sha256":"d491c6e54b526eaccdad5865b738da213d3c696a6431465e340a2da67f2b50c6","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d491c6e54b526eaccdad5865b738da213d3c696a6431465e340a2da67f2b50c6","first_computed_at":"2026-05-18T01:14:59.439033Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:14:59.439033Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"WDe/zcICLBjK27wri2ocZdZLDNzlIJZ8MvaxxG1saHZxM9JFmwsGv0z8H5Zjm6ilL+QgGmK+9ukYBuyASNTADg==","signature_status":"signed_v1","signed_at":"2026-05-18T01:14:59.439615Z","signed_message":"canonical_sha256_bytes"},"source_id":"1605.03811","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e255990571db14388862c82239d09a3b8a0d800fb8e7d088d3584bfb063c2d0c","sha256:8f0b8ddddd68db1003c30968585c500b5be1344ac2583d053ea998fb7af7de95"],"state_sha256":"38989998b2e728c8fe9bebab04daf456831638ede192f0ffb3feb0cbb2acdbdb"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3X7JWKgnV582utaEmxpM5Vrc9gs6B2NUJPrIYHDGrTZhUcYKYq/myw+pEgvLTmecV71dVDhGbyMgXrQE0dUUCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-27T07:13:26.585893Z","bundle_sha256":"4d1de69357a3d9c1d573e6b656a9f12497b07d632f07be2b265d82972efa1184"}}