{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:ULAMXUX5X5QJOPWIVOYIBR7DHA","short_pith_number":"pith:ULAMXUX5","canonical_record":{"source":{"id":"2304.09930","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2023-04-19T19:09:55Z","cross_cats_sorted":["cs.SY","eess.SY"],"title_canon_sha256":"d7d9ebebdd1ffdc37606a66847b2d2f920f44ca3c40e785c64185667795755cb","abstract_canon_sha256":"ccd640ae9eb08e31990fb4a794260b78f0624da322613af7893eb55bc84dd6b6"},"schema_version":"1.0"},"canonical_sha256":"a2c0cbd2fdbf60973ec8abb080c7e3381c8abd1c821ac0feba4affb758aa57c1","source":{"kind":"arxiv","id":"2304.09930","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2304.09930","created_at":"2026-07-05T06:02:51Z"},{"alias_kind":"arxiv_version","alias_value":"2304.09930v1","created_at":"2026-07-05T06:02:51Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2304.09930","created_at":"2026-07-05T06:02:51Z"},{"alias_kind":"pith_short_12","alias_value":"ULAMXUX5X5QJ","created_at":"2026-07-05T06:02:51Z"},{"alias_kind":"pith_short_16","alias_value":"ULAMXUX5X5QJOPWI","created_at":"2026-07-05T06:02:51Z"},{"alias_kind":"pith_short_8","alias_value":"ULAMXUX5","created_at":"2026-07-05T06:02:51Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:ULAMXUX5X5QJOPWIVOYIBR7DHA","target":"record","payload":{"canonical_record":{"source":{"id":"2304.09930","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2023-04-19T19:09:55Z","cross_cats_sorted":["cs.SY","eess.SY"],"title_canon_sha256":"d7d9ebebdd1ffdc37606a66847b2d2f920f44ca3c40e785c64185667795755cb","abstract_canon_sha256":"ccd640ae9eb08e31990fb4a794260b78f0624da322613af7893eb55bc84dd6b6"},"schema_version":"1.0"},"canonical_sha256":"a2c0cbd2fdbf60973ec8abb080c7e3381c8abd1c821ac0feba4affb758aa57c1","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T06:02:51.867862Z","signature_b64":"eJMobvGUehEVHiLJmYEKcXFsMa2oYKLob4Ttj8OPfcIqrJIfvsvA1Lryj50+XujNQ+elHsu24MAmk+lFVtD6BA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a2c0cbd2fdbf60973ec8abb080c7e3381c8abd1c821ac0feba4affb758aa57c1","last_reissued_at":"2026-07-05T06:02:51.867324Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T06:02:51.867324Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2304.09930","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-07-05T06:02:51Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"UgQCAR9k6i6OUviLcsQWOaA3g7V6LK1LsSvJaRNAy3ar5QaKSJU2YPOV/z608/BSyBkBIo+eGHiMky1vBkELAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-15T11:22:38.499866Z"},"content_sha256":"53d6b2f34b6e60771adb9d97e9adf5d2297fc3f41b3df46527cdc5ae3b6720be","schema_version":"1.0","event_id":"sha256:53d6b2f34b6e60771adb9d97e9adf5d2297fc3f41b3df46527cdc5ae3b6720be"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:ULAMXUX5X5QJOPWIVOYIBR7DHA","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Stopping Criteria for Value Iteration on Stochastic Games with Quantitative Objectives","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY","eess.SY"],"primary_cat":"cs.AI","authors_text":"Jan K\\v{r}et\\'insk\\'y, Maximilian Weininger, Tobias Meggendorfer","submitted_at":"2023-04-19T19:09:55Z","abstract_excerpt":"A classic solution technique for Markov decision processes (MDP) and stochastic games (SG) is value iteration (VI). Due to its good practical performance, this approximative approach is typically preferred over exact techniques, even though no practical bounds on the imprecision of the result could be given until recently. As a consequence, even the most used model checkers could return arbitrarily wrong results. Over the past decade, different works derived stopping criteria, indicating when the precision reaches the desired level, for various settings, in particular MDP with reachability, to"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2304.09930","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2304.09930/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-05T06:02:51Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"QA9AWKW5MbubEqjVUmrzy6ZCWcW/gbKi4wqAVn8VMX73Vem83RjS9/gInJpnUt/clbMGpdrkWeKA5dyDExvSBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-15T11:22:38.500372Z"},"content_sha256":"41a4cb5e5391bbd9af2694ee92792cc9a7697e613df3b0693d08d3280dfa6896","schema_version":"1.0","event_id":"sha256:41a4cb5e5391bbd9af2694ee92792cc9a7697e613df3b0693d08d3280dfa6896"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ULAMXUX5X5QJOPWIVOYIBR7DHA/bundle.json","state_url":"https://pith.science/pith/ULAMXUX5X5QJOPWIVOYIBR7DHA/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ULAMXUX5X5QJOPWIVOYIBR7DHA/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-15T11:22:38Z","links":{"resolver":"https://pith.science/pith/ULAMXUX5X5QJOPWIVOYIBR7DHA","bundle":"https://pith.science/pith/ULAMXUX5X5QJOPWIVOYIBR7DHA/bundle.json","state":"https://pith.science/pith/ULAMXUX5X5QJOPWIVOYIBR7DHA/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ULAMXUX5X5QJOPWIVOYIBR7DHA/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:ULAMXUX5X5QJOPWIVOYIBR7DHA","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":"ccd640ae9eb08e31990fb4a794260b78f0624da322613af7893eb55bc84dd6b6","cross_cats_sorted":["cs.SY","eess.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2023-04-19T19:09:55Z","title_canon_sha256":"d7d9ebebdd1ffdc37606a66847b2d2f920f44ca3c40e785c64185667795755cb"},"schema_version":"1.0","source":{"id":"2304.09930","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2304.09930","created_at":"2026-07-05T06:02:51Z"},{"alias_kind":"arxiv_version","alias_value":"2304.09930v1","created_at":"2026-07-05T06:02:51Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2304.09930","created_at":"2026-07-05T06:02:51Z"},{"alias_kind":"pith_short_12","alias_value":"ULAMXUX5X5QJ","created_at":"2026-07-05T06:02:51Z"},{"alias_kind":"pith_short_16","alias_value":"ULAMXUX5X5QJOPWI","created_at":"2026-07-05T06:02:51Z"},{"alias_kind":"pith_short_8","alias_value":"ULAMXUX5","created_at":"2026-07-05T06:02:51Z"}],"graph_snapshots":[{"event_id":"sha256:41a4cb5e5391bbd9af2694ee92792cc9a7697e613df3b0693d08d3280dfa6896","target":"graph","created_at":"2026-07-05T06:02:51Z","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/2304.09930/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"A classic solution technique for Markov decision processes (MDP) and stochastic games (SG) is value iteration (VI). Due to its good practical performance, this approximative approach is typically preferred over exact techniques, even though no practical bounds on the imprecision of the result could be given until recently. As a consequence, even the most used model checkers could return arbitrarily wrong results. Over the past decade, different works derived stopping criteria, indicating when the precision reaches the desired level, for various settings, in particular MDP with reachability, to","authors_text":"Jan K\\v{r}et\\'insk\\'y, Maximilian Weininger, Tobias Meggendorfer","cross_cats":["cs.SY","eess.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2023-04-19T19:09:55Z","title":"Stopping Criteria for Value Iteration on Stochastic Games with Quantitative Objectives"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2304.09930","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:53d6b2f34b6e60771adb9d97e9adf5d2297fc3f41b3df46527cdc5ae3b6720be","target":"record","created_at":"2026-07-05T06:02:51Z","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":"ccd640ae9eb08e31990fb4a794260b78f0624da322613af7893eb55bc84dd6b6","cross_cats_sorted":["cs.SY","eess.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2023-04-19T19:09:55Z","title_canon_sha256":"d7d9ebebdd1ffdc37606a66847b2d2f920f44ca3c40e785c64185667795755cb"},"schema_version":"1.0","source":{"id":"2304.09930","kind":"arxiv","version":1}},"canonical_sha256":"a2c0cbd2fdbf60973ec8abb080c7e3381c8abd1c821ac0feba4affb758aa57c1","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a2c0cbd2fdbf60973ec8abb080c7e3381c8abd1c821ac0feba4affb758aa57c1","first_computed_at":"2026-07-05T06:02:51.867324Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T06:02:51.867324Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"eJMobvGUehEVHiLJmYEKcXFsMa2oYKLob4Ttj8OPfcIqrJIfvsvA1Lryj50+XujNQ+elHsu24MAmk+lFVtD6BA==","signature_status":"signed_v1","signed_at":"2026-07-05T06:02:51.867862Z","signed_message":"canonical_sha256_bytes"},"source_id":"2304.09930","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:53d6b2f34b6e60771adb9d97e9adf5d2297fc3f41b3df46527cdc5ae3b6720be","sha256:41a4cb5e5391bbd9af2694ee92792cc9a7697e613df3b0693d08d3280dfa6896"],"state_sha256":"52423745e84b17586ad9728e97f8b3beacff35a2b9d8052012004ad6b5a766b2"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ax18cGrnpmi3KMVeUxYMUmFn7RznlZqfWdaKifDajlEF1wZt99lg9Hffm/FH78YCsutaHVRSMDeA+o7743VGCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-15T11:22:38.505759Z","bundle_sha256":"a509b7d42b00ae7831ea174ffc9e352006dea0c9321677b419ab34f714969ecc"}}