{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:UCSQL4BH5NX2QIHVT2MRON2AF4","short_pith_number":"pith:UCSQL4BH","canonical_record":{"source":{"id":"2606.25797","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.AI","submitted_at":"2026-06-24T13:16:08Z","cross_cats_sorted":[],"title_canon_sha256":"e243b90301515f5528ced65d0aca34690c6c616df554e437c67df54595a345c6","abstract_canon_sha256":"b34cde73ea2e63b11bbeb0919e86e9f4976f110a37984fc1328cff3c3e05fc08"},"schema_version":"1.0"},"canonical_sha256":"a0a505f027eb6fa820f59e991737402f3218f551f2fd062bed51010da4ceea35","source":{"kind":"arxiv","id":"2606.25797","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.25797","created_at":"2026-06-25T01:18:39Z"},{"alias_kind":"arxiv_version","alias_value":"2606.25797v1","created_at":"2026-06-25T01:18:39Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.25797","created_at":"2026-06-25T01:18:39Z"},{"alias_kind":"pith_short_12","alias_value":"UCSQL4BH5NX2","created_at":"2026-06-25T01:18:39Z"},{"alias_kind":"pith_short_16","alias_value":"UCSQL4BH5NX2QIHV","created_at":"2026-06-25T01:18:39Z"},{"alias_kind":"pith_short_8","alias_value":"UCSQL4BH","created_at":"2026-06-25T01:18:39Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:UCSQL4BH5NX2QIHVT2MRON2AF4","target":"record","payload":{"canonical_record":{"source":{"id":"2606.25797","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.AI","submitted_at":"2026-06-24T13:16:08Z","cross_cats_sorted":[],"title_canon_sha256":"e243b90301515f5528ced65d0aca34690c6c616df554e437c67df54595a345c6","abstract_canon_sha256":"b34cde73ea2e63b11bbeb0919e86e9f4976f110a37984fc1328cff3c3e05fc08"},"schema_version":"1.0"},"canonical_sha256":"a0a505f027eb6fa820f59e991737402f3218f551f2fd062bed51010da4ceea35","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-25T01:18:39.629461Z","signature_b64":"/j1fNLNdlKzBxjFb0ooMeGQLfh+Aa4LCQbZ2ikb1dIuUHq5r7qlAkbZyq3Mr8xMxkvrf0PlVLIxlJEKJNrdYDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a0a505f027eb6fa820f59e991737402f3218f551f2fd062bed51010da4ceea35","last_reissued_at":"2026-06-25T01:18:39.628988Z","signature_status":"signed_v1","first_computed_at":"2026-06-25T01:18:39.628988Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2606.25797","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-06-25T01:18:39Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"zin0mpXbnsJrom+aGBhLn12wZHMSIQLdKKeQm3ADKuu0Jc4iJHWxVvm1obvMQO+KOexfogePusKpW7XNuyHSCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-29T10:42:44.944834Z"},"content_sha256":"06b6c4724d9a3195791da70ede0730bf47674ba5fa82e413238843a10ad78f48","schema_version":"1.0","event_id":"sha256:06b6c4724d9a3195791da70ede0730bf47674ba5fa82e413238843a10ad78f48"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:UCSQL4BH5NX2QIHVT2MRON2AF4","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Confidence Sequences for Online Statistical Model Checking of Markov Decision Processes","license":"http://creativecommons.org/licenses/by-sa/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Konstantin Kueffner, Maximilian Weininger, Patrick Wienh\\\"oft, Tobias Meggendorfer","submitted_at":"2026-06-24T13:16:08Z","abstract_excerpt":"Markov decision processes (MDPs) are a classic model of decision making under uncertainty, exhibiting both non-deterministic choice as well as probabilistic uncertainty. Traditionally, exact knowledge of the underlying probabilities is assumed. However, this often is unrealistic, e.g.\\ when modelling cyber-physical systems or biological processes. Here, statistical methods provide a way towards obtaining meaningful guarantees. The classical approach is to gather samples in the MDP, use these to draw statistical conclusions about the transition probabilities, and from there obtain bounds on the"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.25797","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/2606.25797/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-06-25T01:18:39Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"TRhqsQRXg23XQRcq4P9UyvWSKQQoE4y72EfbQlhmEMEbs6z9tOs6szSIWxCXEAZ/kbLWkS6TBd9j4b69WVzqCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-29T10:42:44.945198Z"},"content_sha256":"c806c64bb34b0f37fc62aa635446346111af82de878f8202c25a0b29c5fba969","schema_version":"1.0","event_id":"sha256:c806c64bb34b0f37fc62aa635446346111af82de878f8202c25a0b29c5fba969"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/UCSQL4BH5NX2QIHVT2MRON2AF4/bundle.json","state_url":"https://pith.science/pith/UCSQL4BH5NX2QIHVT2MRON2AF4/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/UCSQL4BH5NX2QIHVT2MRON2AF4/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-06-29T10:42:44Z","links":{"resolver":"https://pith.science/pith/UCSQL4BH5NX2QIHVT2MRON2AF4","bundle":"https://pith.science/pith/UCSQL4BH5NX2QIHVT2MRON2AF4/bundle.json","state":"https://pith.science/pith/UCSQL4BH5NX2QIHVT2MRON2AF4/state.json","well_known_bundle":"https://pith.science/.well-known/pith/UCSQL4BH5NX2QIHVT2MRON2AF4/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:UCSQL4BH5NX2QIHVT2MRON2AF4","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":"b34cde73ea2e63b11bbeb0919e86e9f4976f110a37984fc1328cff3c3e05fc08","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.AI","submitted_at":"2026-06-24T13:16:08Z","title_canon_sha256":"e243b90301515f5528ced65d0aca34690c6c616df554e437c67df54595a345c6"},"schema_version":"1.0","source":{"id":"2606.25797","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.25797","created_at":"2026-06-25T01:18:39Z"},{"alias_kind":"arxiv_version","alias_value":"2606.25797v1","created_at":"2026-06-25T01:18:39Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.25797","created_at":"2026-06-25T01:18:39Z"},{"alias_kind":"pith_short_12","alias_value":"UCSQL4BH5NX2","created_at":"2026-06-25T01:18:39Z"},{"alias_kind":"pith_short_16","alias_value":"UCSQL4BH5NX2QIHV","created_at":"2026-06-25T01:18:39Z"},{"alias_kind":"pith_short_8","alias_value":"UCSQL4BH","created_at":"2026-06-25T01:18:39Z"}],"graph_snapshots":[{"event_id":"sha256:c806c64bb34b0f37fc62aa635446346111af82de878f8202c25a0b29c5fba969","target":"graph","created_at":"2026-06-25T01:18:39Z","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/2606.25797/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Markov decision processes (MDPs) are a classic model of decision making under uncertainty, exhibiting both non-deterministic choice as well as probabilistic uncertainty. Traditionally, exact knowledge of the underlying probabilities is assumed. However, this often is unrealistic, e.g.\\ when modelling cyber-physical systems or biological processes. Here, statistical methods provide a way towards obtaining meaningful guarantees. The classical approach is to gather samples in the MDP, use these to draw statistical conclusions about the transition probabilities, and from there obtain bounds on the","authors_text":"Konstantin Kueffner, Maximilian Weininger, Patrick Wienh\\\"oft, Tobias Meggendorfer","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.AI","submitted_at":"2026-06-24T13:16:08Z","title":"Confidence Sequences for Online Statistical Model Checking of Markov Decision Processes"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.25797","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:06b6c4724d9a3195791da70ede0730bf47674ba5fa82e413238843a10ad78f48","target":"record","created_at":"2026-06-25T01:18:39Z","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":"b34cde73ea2e63b11bbeb0919e86e9f4976f110a37984fc1328cff3c3e05fc08","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.AI","submitted_at":"2026-06-24T13:16:08Z","title_canon_sha256":"e243b90301515f5528ced65d0aca34690c6c616df554e437c67df54595a345c6"},"schema_version":"1.0","source":{"id":"2606.25797","kind":"arxiv","version":1}},"canonical_sha256":"a0a505f027eb6fa820f59e991737402f3218f551f2fd062bed51010da4ceea35","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a0a505f027eb6fa820f59e991737402f3218f551f2fd062bed51010da4ceea35","first_computed_at":"2026-06-25T01:18:39.628988Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-25T01:18:39.628988Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"/j1fNLNdlKzBxjFb0ooMeGQLfh+Aa4LCQbZ2ikb1dIuUHq5r7qlAkbZyq3Mr8xMxkvrf0PlVLIxlJEKJNrdYDg==","signature_status":"signed_v1","signed_at":"2026-06-25T01:18:39.629461Z","signed_message":"canonical_sha256_bytes"},"source_id":"2606.25797","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:06b6c4724d9a3195791da70ede0730bf47674ba5fa82e413238843a10ad78f48","sha256:c806c64bb34b0f37fc62aa635446346111af82de878f8202c25a0b29c5fba969"],"state_sha256":"93058139999e5b2d7366786efe330cab083eea4e2ba56c83666f3e795ad2d72e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"NYCojfwUmJlBgsoNi//66P4GaueqhnmqM0g2BusgKVocJ7mBTU8t6wYu1NiMShyN7rcoWxaaTUuoDQeR6AXnBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-29T10:42:44.947213Z","bundle_sha256":"2c0d30d449de143148c8f55e2c9d7a742178b9b720e1a4c37e7f3b37ca884917"}}