{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:W34UOZSIDR36X43BAIJGMXPUKA","short_pith_number":"pith:W34UOZSI","canonical_record":{"source":{"id":"2505.21087","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.LO","submitted_at":"2025-05-27T12:13:47Z","cross_cats_sorted":["cs.AI","cs.MA"],"title_canon_sha256":"c7fac630f2b6363083babff0780159dd5ebbc06935bfc85d80cb6bcead0aab6e","abstract_canon_sha256":"32c1f84ad52d1cdb2dc018bb6800f7a2348751d4ef4c976865d502ebb9633931"},"schema_version":"1.0"},"canonical_sha256":"b6f94766481c77ebf3610212665df45036845e67c3f6d548f3f254540dc68916","source":{"kind":"arxiv","id":"2505.21087","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2505.21087","created_at":"2026-07-05T12:08:03Z"},{"alias_kind":"arxiv_version","alias_value":"2505.21087v2","created_at":"2026-07-05T12:08:03Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.21087","created_at":"2026-07-05T12:08:03Z"},{"alias_kind":"pith_short_12","alias_value":"W34UOZSIDR36","created_at":"2026-07-05T12:08:03Z"},{"alias_kind":"pith_short_16","alias_value":"W34UOZSIDR36X43B","created_at":"2026-07-05T12:08:03Z"},{"alias_kind":"pith_short_8","alias_value":"W34UOZSI","created_at":"2026-07-05T12:08:03Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:W34UOZSIDR36X43BAIJGMXPUKA","target":"record","payload":{"canonical_record":{"source":{"id":"2505.21087","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.LO","submitted_at":"2025-05-27T12:13:47Z","cross_cats_sorted":["cs.AI","cs.MA"],"title_canon_sha256":"c7fac630f2b6363083babff0780159dd5ebbc06935bfc85d80cb6bcead0aab6e","abstract_canon_sha256":"32c1f84ad52d1cdb2dc018bb6800f7a2348751d4ef4c976865d502ebb9633931"},"schema_version":"1.0"},"canonical_sha256":"b6f94766481c77ebf3610212665df45036845e67c3f6d548f3f254540dc68916","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T12:08:03.471371Z","signature_b64":"MkXm6+mJuqDPX/1vmRtgXfAgqhgP11/KrAiwrFk4xwD7Zb+qNrT5xsdrGLA3+QLtkurxXo+bqnJIWYSiLmJJDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b6f94766481c77ebf3610212665df45036845e67c3f6d548f3f254540dc68916","last_reissued_at":"2026-07-05T12:08:03.470831Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T12:08:03.470831Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2505.21087","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-05T12:08:03Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"K9+R52+DX9hUekTzFqyZQfZDEmJ2/kFpBotgo8cJdA8WfF3FvnhToPFXOek/wiozvBxiXtvdM9jRv3yUEMJUAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T13:15:52.387237Z"},"content_sha256":"b237e5aa52241bc0cbc654e500d1f5b607a5d525ca46fc29b4698c17a7f56b33","schema_version":"1.0","event_id":"sha256:b237e5aa52241bc0cbc654e500d1f5b607a5d525ca46fc29b4698c17a7f56b33"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:W34UOZSIDR36X43BAIJGMXPUKA","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games","license":"http://creativecommons.org/licenses/by-sa/4.0/","headline":"","cross_cats":["cs.AI","cs.MA"],"primary_cat":"cs.LO","authors_text":"Jan K\\v{r}et\\'insk\\'y, Marta Grobelna, Maximilian Weininger","submitted_at":"2025-05-27T12:13:47Z","abstract_excerpt":"We consider two-player zero-sum concurrent stochastic games (CSGs) played on graphs with reachability and safety objectives. These include degenerate classes such as Markov decision processes or turn-based stochastic games, which can be solved by linear or quadratic programming; however, in practice, value iteration (VI) outperforms the other approaches and is the most implemented method. Similarly, for CSGs, this practical performance makes VI an attractive alternative to the standard theoretical solution via the existential theory of reals.\n  VI starts with an under-approximation of the soug"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.21087","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/2505.21087/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-05T12:08:03Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Xjo/YIRCUXcaWmuIaXyLHZ6LqCfDmpTvWYISSADAF3Ddd2LOTzpInkjWX7KUAGO44FZFnYr4pHdF50VWt5EhDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T13:15:52.388267Z"},"content_sha256":"0d879e326aab61e1da1d06c9a6be92eea2fdda5aa2b00bd2fa0328aee3f38ac4","schema_version":"1.0","event_id":"sha256:0d879e326aab61e1da1d06c9a6be92eea2fdda5aa2b00bd2fa0328aee3f38ac4"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/W34UOZSIDR36X43BAIJGMXPUKA/bundle.json","state_url":"https://pith.science/pith/W34UOZSIDR36X43BAIJGMXPUKA/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/W34UOZSIDR36X43BAIJGMXPUKA/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-08T13:15:52Z","links":{"resolver":"https://pith.science/pith/W34UOZSIDR36X43BAIJGMXPUKA","bundle":"https://pith.science/pith/W34UOZSIDR36X43BAIJGMXPUKA/bundle.json","state":"https://pith.science/pith/W34UOZSIDR36X43BAIJGMXPUKA/state.json","well_known_bundle":"https://pith.science/.well-known/pith/W34UOZSIDR36X43BAIJGMXPUKA/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:W34UOZSIDR36X43BAIJGMXPUKA","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":"32c1f84ad52d1cdb2dc018bb6800f7a2348751d4ef4c976865d502ebb9633931","cross_cats_sorted":["cs.AI","cs.MA"],"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.LO","submitted_at":"2025-05-27T12:13:47Z","title_canon_sha256":"c7fac630f2b6363083babff0780159dd5ebbc06935bfc85d80cb6bcead0aab6e"},"schema_version":"1.0","source":{"id":"2505.21087","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2505.21087","created_at":"2026-07-05T12:08:03Z"},{"alias_kind":"arxiv_version","alias_value":"2505.21087v2","created_at":"2026-07-05T12:08:03Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.21087","created_at":"2026-07-05T12:08:03Z"},{"alias_kind":"pith_short_12","alias_value":"W34UOZSIDR36","created_at":"2026-07-05T12:08:03Z"},{"alias_kind":"pith_short_16","alias_value":"W34UOZSIDR36X43B","created_at":"2026-07-05T12:08:03Z"},{"alias_kind":"pith_short_8","alias_value":"W34UOZSI","created_at":"2026-07-05T12:08:03Z"}],"graph_snapshots":[{"event_id":"sha256:0d879e326aab61e1da1d06c9a6be92eea2fdda5aa2b00bd2fa0328aee3f38ac4","target":"graph","created_at":"2026-07-05T12:08:03Z","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/2505.21087/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We consider two-player zero-sum concurrent stochastic games (CSGs) played on graphs with reachability and safety objectives. These include degenerate classes such as Markov decision processes or turn-based stochastic games, which can be solved by linear or quadratic programming; however, in practice, value iteration (VI) outperforms the other approaches and is the most implemented method. Similarly, for CSGs, this practical performance makes VI an attractive alternative to the standard theoretical solution via the existential theory of reals.\n  VI starts with an under-approximation of the soug","authors_text":"Jan K\\v{r}et\\'insk\\'y, Marta Grobelna, Maximilian Weininger","cross_cats":["cs.AI","cs.MA"],"headline":"","license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.LO","submitted_at":"2025-05-27T12:13:47Z","title":"Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.21087","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:b237e5aa52241bc0cbc654e500d1f5b607a5d525ca46fc29b4698c17a7f56b33","target":"record","created_at":"2026-07-05T12:08:03Z","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":"32c1f84ad52d1cdb2dc018bb6800f7a2348751d4ef4c976865d502ebb9633931","cross_cats_sorted":["cs.AI","cs.MA"],"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.LO","submitted_at":"2025-05-27T12:13:47Z","title_canon_sha256":"c7fac630f2b6363083babff0780159dd5ebbc06935bfc85d80cb6bcead0aab6e"},"schema_version":"1.0","source":{"id":"2505.21087","kind":"arxiv","version":2}},"canonical_sha256":"b6f94766481c77ebf3610212665df45036845e67c3f6d548f3f254540dc68916","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b6f94766481c77ebf3610212665df45036845e67c3f6d548f3f254540dc68916","first_computed_at":"2026-07-05T12:08:03.470831Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T12:08:03.470831Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"MkXm6+mJuqDPX/1vmRtgXfAgqhgP11/KrAiwrFk4xwD7Zb+qNrT5xsdrGLA3+QLtkurxXo+bqnJIWYSiLmJJDw==","signature_status":"signed_v1","signed_at":"2026-07-05T12:08:03.471371Z","signed_message":"canonical_sha256_bytes"},"source_id":"2505.21087","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b237e5aa52241bc0cbc654e500d1f5b607a5d525ca46fc29b4698c17a7f56b33","sha256:0d879e326aab61e1da1d06c9a6be92eea2fdda5aa2b00bd2fa0328aee3f38ac4"],"state_sha256":"b7f879293307eab6538f60e1c4d2175b6f6245b8ec440787ea10b993fed8449e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"S3gKuEdLyBWY6y3GeXubB3v+8XPuYyqlA9uWn2XYwxjETH54YwR0pQw35p2G6PJ1GRoRGxQYrZwIsiL1uiySAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-08T13:15:52.393936Z","bundle_sha256":"1313c4510628cf831b858fd737da68ad729f4c7a6b330fab86d1259f7852bca1"}}