{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:CZRWHPXMOOYPEFAFIZ24Z2XFTY","short_pith_number":"pith:CZRWHPXM","canonical_record":{"source":{"id":"2404.05424","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2024-04-08T11:47:46Z","cross_cats_sorted":["cs.LG","cs.SY","eess.SY"],"title_canon_sha256":"cc6302ba97b0733fbbe9286bac6375a43c0df8643538885fe57674b8623c4fd3","abstract_canon_sha256":"5a4df01a47249fd52d81eca88b8a78af6011707d088b24484c02c978232e4ec6"},"schema_version":"1.0"},"canonical_sha256":"166363beec73b0f214054675cceae59e0171a92699004b8e9521b64ea1d53c48","source":{"kind":"arxiv","id":"2404.05424","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2404.05424","created_at":"2026-07-05T10:50:29Z"},{"alias_kind":"arxiv_version","alias_value":"2404.05424v2","created_at":"2026-07-05T10:50:29Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2404.05424","created_at":"2026-07-05T10:50:29Z"},{"alias_kind":"pith_short_12","alias_value":"CZRWHPXMOOYP","created_at":"2026-07-05T10:50:29Z"},{"alias_kind":"pith_short_16","alias_value":"CZRWHPXMOOYPEFAF","created_at":"2026-07-05T10:50:29Z"},{"alias_kind":"pith_short_8","alias_value":"CZRWHPXM","created_at":"2026-07-05T10:50:29Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:CZRWHPXMOOYPEFAFIZ24Z2XFTY","target":"record","payload":{"canonical_record":{"source":{"id":"2404.05424","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2024-04-08T11:47:46Z","cross_cats_sorted":["cs.LG","cs.SY","eess.SY"],"title_canon_sha256":"cc6302ba97b0733fbbe9286bac6375a43c0df8643538885fe57674b8623c4fd3","abstract_canon_sha256":"5a4df01a47249fd52d81eca88b8a78af6011707d088b24484c02c978232e4ec6"},"schema_version":"1.0"},"canonical_sha256":"166363beec73b0f214054675cceae59e0171a92699004b8e9521b64ea1d53c48","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:50:29.563098Z","signature_b64":"wwR3PG7Xt2wwi311V+AgtqOsA8UfyzJFhTWm9wKIRVZS5z9Ma7tReua3P0Vnn6Z6nuK9iu7bdsz3EL5XBZU9Ag==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"166363beec73b0f214054675cceae59e0171a92699004b8e9521b64ea1d53c48","last_reissued_at":"2026-07-05T10:50:29.562596Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:50:29.562596Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2404.05424","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-05T10:50:29Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"DcVNunbM9ZCfNQo3GFLWuGywNhXZAAM3jtuXzxiHmUpPtQTeBO8pgYHYiWAv/g5K5Qkyeozx+8YywDtB/auvDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-11T18:01:03.388056Z"},"content_sha256":"b49016af2d306cea3636bc26dad6f088e7dc1b163336a8e6b1e7ba0e491ddd94","schema_version":"1.0","event_id":"sha256:b49016af2d306cea3636bc26dad6f088e7dc1b163336a8e6b1e7ba0e491ddd94"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:CZRWHPXMOOYPEFAFIZ24Z2XFTY","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"What Are the Odds? Improving the foundations of Statistical Model Checking","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.LG","cs.SY","eess.SY"],"primary_cat":"cs.AI","authors_text":"Maximilian Weininger, Patrick Wienh\\\"oft, Tobias Meggendorfer","submitted_at":"2024-04-08T11:47:46Z","abstract_excerpt":"Markov decision processes (MDPs) are a fundamental model for decision making under uncertainty. They exhibit non-deterministic choice as well as probabilistic uncertainty. Traditionally, verification algorithms assume exact knowledge of the probabilities that govern the behaviour of an MDP. As this assumption is often unrealistic in practice, statistical model checking (SMC) was developed in the past two decades. It allows to analyse MDPs with unknown transition probabilities and provide probably approximately correct (PAC) guarantees on the result. Model-based SMC algorithms sample the MDP an"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2404.05424","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/2404.05424/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-05T10:50:29Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Fl4eefG6wM9n197P9vRdsDapKW+8RStfylyxKH3LrIhLnRIy2o/pcbicdmYktZWGPhB4c2T/TL5dyNtiai/jCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-11T18:01:03.389016Z"},"content_sha256":"9423b67d4073640c69642c7a67e1395711fd24c18a2e396003bc8a19968c9e2a","schema_version":"1.0","event_id":"sha256:9423b67d4073640c69642c7a67e1395711fd24c18a2e396003bc8a19968c9e2a"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/CZRWHPXMOOYPEFAFIZ24Z2XFTY/bundle.json","state_url":"https://pith.science/pith/CZRWHPXMOOYPEFAFIZ24Z2XFTY/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/CZRWHPXMOOYPEFAFIZ24Z2XFTY/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-11T18:01:03Z","links":{"resolver":"https://pith.science/pith/CZRWHPXMOOYPEFAFIZ24Z2XFTY","bundle":"https://pith.science/pith/CZRWHPXMOOYPEFAFIZ24Z2XFTY/bundle.json","state":"https://pith.science/pith/CZRWHPXMOOYPEFAFIZ24Z2XFTY/state.json","well_known_bundle":"https://pith.science/.well-known/pith/CZRWHPXMOOYPEFAFIZ24Z2XFTY/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:CZRWHPXMOOYPEFAFIZ24Z2XFTY","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":"5a4df01a47249fd52d81eca88b8a78af6011707d088b24484c02c978232e4ec6","cross_cats_sorted":["cs.LG","cs.SY","eess.SY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2024-04-08T11:47:46Z","title_canon_sha256":"cc6302ba97b0733fbbe9286bac6375a43c0df8643538885fe57674b8623c4fd3"},"schema_version":"1.0","source":{"id":"2404.05424","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2404.05424","created_at":"2026-07-05T10:50:29Z"},{"alias_kind":"arxiv_version","alias_value":"2404.05424v2","created_at":"2026-07-05T10:50:29Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2404.05424","created_at":"2026-07-05T10:50:29Z"},{"alias_kind":"pith_short_12","alias_value":"CZRWHPXMOOYP","created_at":"2026-07-05T10:50:29Z"},{"alias_kind":"pith_short_16","alias_value":"CZRWHPXMOOYPEFAF","created_at":"2026-07-05T10:50:29Z"},{"alias_kind":"pith_short_8","alias_value":"CZRWHPXM","created_at":"2026-07-05T10:50:29Z"}],"graph_snapshots":[{"event_id":"sha256:9423b67d4073640c69642c7a67e1395711fd24c18a2e396003bc8a19968c9e2a","target":"graph","created_at":"2026-07-05T10:50:29Z","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/2404.05424/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Markov decision processes (MDPs) are a fundamental model for decision making under uncertainty. They exhibit non-deterministic choice as well as probabilistic uncertainty. Traditionally, verification algorithms assume exact knowledge of the probabilities that govern the behaviour of an MDP. As this assumption is often unrealistic in practice, statistical model checking (SMC) was developed in the past two decades. It allows to analyse MDPs with unknown transition probabilities and provide probably approximately correct (PAC) guarantees on the result. Model-based SMC algorithms sample the MDP an","authors_text":"Maximilian Weininger, Patrick Wienh\\\"oft, Tobias Meggendorfer","cross_cats":["cs.LG","cs.SY","eess.SY"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2024-04-08T11:47:46Z","title":"What Are the Odds? Improving the foundations of Statistical Model Checking"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2404.05424","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:b49016af2d306cea3636bc26dad6f088e7dc1b163336a8e6b1e7ba0e491ddd94","target":"record","created_at":"2026-07-05T10:50:29Z","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":"5a4df01a47249fd52d81eca88b8a78af6011707d088b24484c02c978232e4ec6","cross_cats_sorted":["cs.LG","cs.SY","eess.SY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2024-04-08T11:47:46Z","title_canon_sha256":"cc6302ba97b0733fbbe9286bac6375a43c0df8643538885fe57674b8623c4fd3"},"schema_version":"1.0","source":{"id":"2404.05424","kind":"arxiv","version":2}},"canonical_sha256":"166363beec73b0f214054675cceae59e0171a92699004b8e9521b64ea1d53c48","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"166363beec73b0f214054675cceae59e0171a92699004b8e9521b64ea1d53c48","first_computed_at":"2026-07-05T10:50:29.562596Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:50:29.562596Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"wwR3PG7Xt2wwi311V+AgtqOsA8UfyzJFhTWm9wKIRVZS5z9Ma7tReua3P0Vnn6Z6nuK9iu7bdsz3EL5XBZU9Ag==","signature_status":"signed_v1","signed_at":"2026-07-05T10:50:29.563098Z","signed_message":"canonical_sha256_bytes"},"source_id":"2404.05424","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b49016af2d306cea3636bc26dad6f088e7dc1b163336a8e6b1e7ba0e491ddd94","sha256:9423b67d4073640c69642c7a67e1395711fd24c18a2e396003bc8a19968c9e2a"],"state_sha256":"d35aa3859df13130fa364c2d43e69aa82fe922311b4e5040ba48324ba6bcd8b7"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"rOgBMEtArb19xXXBUYgj8Wcx/v058cgNjQ+XU+9FMTqfSVaIT4tSnQ0X7mZaQcO7HAV187QO7R3dy76jVmCEBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-11T18:01:03.395409Z","bundle_sha256":"2e5abea7a45a477556daa720d06ef00df0b7dd031eaadf5a8ee46257dbc6e0b9"}}