{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:ZJ5W577OOJKMERLBKYADTG5G5Q","short_pith_number":"pith:ZJ5W577O","canonical_record":{"source":{"id":"1908.05106","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GT","submitted_at":"2019-08-14T13:00:49Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"8bdbcce680f08950d8c926311f0149def018feab0385e262b21bd5011ba2d4d5","abstract_canon_sha256":"57785805a13b49974759aae275d29268aba183443c59c2a685e2a16be8ef7fce"},"schema_version":"1.0"},"canonical_sha256":"ca7b6effee7254c245615600399ba6ec3bac1a537e4c58d77c9de3580d76a393","source":{"kind":"arxiv","id":"1908.05106","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1908.05106","created_at":"2026-07-05T02:10:57Z"},{"alias_kind":"arxiv_version","alias_value":"1908.05106v2","created_at":"2026-07-05T02:10:57Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1908.05106","created_at":"2026-07-05T02:10:57Z"},{"alias_kind":"pith_short_12","alias_value":"ZJ5W577OOJKM","created_at":"2026-07-05T02:10:57Z"},{"alias_kind":"pith_short_16","alias_value":"ZJ5W577OOJKMERLB","created_at":"2026-07-05T02:10:57Z"},{"alias_kind":"pith_short_8","alias_value":"ZJ5W577O","created_at":"2026-07-05T02:10:57Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:ZJ5W577OOJKMERLBKYADTG5G5Q","target":"record","payload":{"canonical_record":{"source":{"id":"1908.05106","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GT","submitted_at":"2019-08-14T13:00:49Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"8bdbcce680f08950d8c926311f0149def018feab0385e262b21bd5011ba2d4d5","abstract_canon_sha256":"57785805a13b49974759aae275d29268aba183443c59c2a685e2a16be8ef7fce"},"schema_version":"1.0"},"canonical_sha256":"ca7b6effee7254c245615600399ba6ec3bac1a537e4c58d77c9de3580d76a393","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T02:10:57.828550Z","signature_b64":"ZYhHOSAcqr8JGCukQ03M3oGHyXQMqDHaCEcJ2mXxEjaiElzIDrRDOidXme9e46pukbs+MFlx19Jf9VjIkbsiDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ca7b6effee7254c245615600399ba6ec3bac1a537e4c58d77c9de3580d76a393","last_reissued_at":"2026-07-05T02:10:57.828119Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T02:10:57.828119Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1908.05106","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-05T02:10:57Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Q30cFeqUEWp7YmFJAZdi0VOa39mSKq9+99ixhyXLUbZpyon/lxhbTFHGyuWPqjHkknCeAzxNP+cPA/OOaoVDAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T12:07:35.536122Z"},"content_sha256":"595caff5219a0f098882f6e5af65ff760ea98f1c823b7e15711b6b523eb97551","schema_version":"1.0","event_id":"sha256:595caff5219a0f098882f6e5af65ff760ea98f1c823b7e15711b6b523eb97551"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:ZJ5W577OOJKMERLBKYADTG5G5Q","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Approximating Values of Generalized-Reachability Stochastic Games","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.GT","authors_text":"Jan Kretinsky, Krishnendu Chatterjee, Maximilian Weininger, Pranav Ashok, Tobias Winkler","submitted_at":"2019-08-14T13:00:49Z","abstract_excerpt":"Simple stochastic games are turn-based 2.5-player games with a reachability objective. The basic question asks whether one player can ensure reaching a given target with at least a given probability. A natural extension is games with a conjunction of such conditions as objective. Despite a plethora of recent results on the analysis of systems with multiple objectives, the decidability of this basic problem remains open. In this paper, we present an algorithm approximating the Pareto frontier of the achievable values to a given precision. Moreover, it is an anytime algorithm, meaning it can be "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1908.05106","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/1908.05106/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-05T02:10:57Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"iKdR7RFqmWqLSRLBnXhqkeV3MdQIcwJQgnXoWM0zNZcV/EK4mlQ4j9LI+wByBlJkAiuYO4ZD5WOYOXWXOcZbCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T12:07:35.536969Z"},"content_sha256":"eccb85e3d82975ef582c3fdf85a1d075d7a86f33790115b04eaa388257695eb9","schema_version":"1.0","event_id":"sha256:eccb85e3d82975ef582c3fdf85a1d075d7a86f33790115b04eaa388257695eb9"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ZJ5W577OOJKMERLBKYADTG5G5Q/bundle.json","state_url":"https://pith.science/pith/ZJ5W577OOJKMERLBKYADTG5G5Q/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ZJ5W577OOJKMERLBKYADTG5G5Q/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-06T12:07:35Z","links":{"resolver":"https://pith.science/pith/ZJ5W577OOJKMERLBKYADTG5G5Q","bundle":"https://pith.science/pith/ZJ5W577OOJKMERLBKYADTG5G5Q/bundle.json","state":"https://pith.science/pith/ZJ5W577OOJKMERLBKYADTG5G5Q/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ZJ5W577OOJKMERLBKYADTG5G5Q/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:ZJ5W577OOJKMERLBKYADTG5G5Q","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":"57785805a13b49974759aae275d29268aba183443c59c2a685e2a16be8ef7fce","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GT","submitted_at":"2019-08-14T13:00:49Z","title_canon_sha256":"8bdbcce680f08950d8c926311f0149def018feab0385e262b21bd5011ba2d4d5"},"schema_version":"1.0","source":{"id":"1908.05106","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1908.05106","created_at":"2026-07-05T02:10:57Z"},{"alias_kind":"arxiv_version","alias_value":"1908.05106v2","created_at":"2026-07-05T02:10:57Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1908.05106","created_at":"2026-07-05T02:10:57Z"},{"alias_kind":"pith_short_12","alias_value":"ZJ5W577OOJKM","created_at":"2026-07-05T02:10:57Z"},{"alias_kind":"pith_short_16","alias_value":"ZJ5W577OOJKMERLB","created_at":"2026-07-05T02:10:57Z"},{"alias_kind":"pith_short_8","alias_value":"ZJ5W577O","created_at":"2026-07-05T02:10:57Z"}],"graph_snapshots":[{"event_id":"sha256:eccb85e3d82975ef582c3fdf85a1d075d7a86f33790115b04eaa388257695eb9","target":"graph","created_at":"2026-07-05T02:10:57Z","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/1908.05106/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Simple stochastic games are turn-based 2.5-player games with a reachability objective. The basic question asks whether one player can ensure reaching a given target with at least a given probability. A natural extension is games with a conjunction of such conditions as objective. Despite a plethora of recent results on the analysis of systems with multiple objectives, the decidability of this basic problem remains open. In this paper, we present an algorithm approximating the Pareto frontier of the achievable values to a given precision. Moreover, it is an anytime algorithm, meaning it can be ","authors_text":"Jan Kretinsky, Krishnendu Chatterjee, Maximilian Weininger, Pranav Ashok, Tobias Winkler","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GT","submitted_at":"2019-08-14T13:00:49Z","title":"Approximating Values of Generalized-Reachability Stochastic Games"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1908.05106","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:595caff5219a0f098882f6e5af65ff760ea98f1c823b7e15711b6b523eb97551","target":"record","created_at":"2026-07-05T02:10:57Z","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":"57785805a13b49974759aae275d29268aba183443c59c2a685e2a16be8ef7fce","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GT","submitted_at":"2019-08-14T13:00:49Z","title_canon_sha256":"8bdbcce680f08950d8c926311f0149def018feab0385e262b21bd5011ba2d4d5"},"schema_version":"1.0","source":{"id":"1908.05106","kind":"arxiv","version":2}},"canonical_sha256":"ca7b6effee7254c245615600399ba6ec3bac1a537e4c58d77c9de3580d76a393","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ca7b6effee7254c245615600399ba6ec3bac1a537e4c58d77c9de3580d76a393","first_computed_at":"2026-07-05T02:10:57.828119Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T02:10:57.828119Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ZYhHOSAcqr8JGCukQ03M3oGHyXQMqDHaCEcJ2mXxEjaiElzIDrRDOidXme9e46pukbs+MFlx19Jf9VjIkbsiDg==","signature_status":"signed_v1","signed_at":"2026-07-05T02:10:57.828550Z","signed_message":"canonical_sha256_bytes"},"source_id":"1908.05106","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:595caff5219a0f098882f6e5af65ff760ea98f1c823b7e15711b6b523eb97551","sha256:eccb85e3d82975ef582c3fdf85a1d075d7a86f33790115b04eaa388257695eb9"],"state_sha256":"3d5a7a355151febd59756ee46271157c55c88e9728eca80c6af9a1872176e6a3"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"wnjJDnRZ+XBsGsPyhFEMtZ4aKEyES/W9lGS5uMuK3JEF1y10J4l3Q7Pdt9pgFz9pYj7aeLwhKNB2htZ37EqqCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-06T12:07:35.540446Z","bundle_sha256":"57e92daa552a6e9f3cab65be577c82654e04cb9114355a08810c31d17cd0c0f7"}}