{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:DMSUYOLVB64CYIMWILNSPHO7FV","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":"da936eabb26631e26e28c13adf8a6260898d9eadddbdb4a2053604189a2481f1","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2024-11-01T13:16:42Z","title_canon_sha256":"c99f9c74a6169766ebd83ce43a3c7f5ab07763ba09985d4996f46d519c934dc6"},"schema_version":"1.0","source":{"id":"2411.00559","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2411.00559","created_at":"2026-07-05T12:10:53Z"},{"alias_kind":"arxiv_version","alias_value":"2411.00559v2","created_at":"2026-07-05T12:10:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2411.00559","created_at":"2026-07-05T12:10:53Z"},{"alias_kind":"pith_short_12","alias_value":"DMSUYOLVB64C","created_at":"2026-07-05T12:10:53Z"},{"alias_kind":"pith_short_16","alias_value":"DMSUYOLVB64CYIMW","created_at":"2026-07-05T12:10:53Z"},{"alias_kind":"pith_short_8","alias_value":"DMSUYOLV","created_at":"2026-07-05T12:10:53Z"}],"graph_snapshots":[{"event_id":"sha256:c95481c6d5e9d8004d56552fe36a479fade46abea831c85553bbcd5b976f2feb","target":"graph","created_at":"2026-07-05T12:10:53Z","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/2411.00559/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Statistical model checking estimates probabilities and expectations of interest in probabilistic system models by using random simulations. Its results come with statistical guarantees. However, many tools use unsound statistical methods that produce incorrect results more often than they claim. In this paper, we provide a comprehensive overview of tools and their correctness, as well as of sound methods available for estimating probabilities from the literature. For expected rewards, we investigate how to bound the path reward distribution to apply sound statistical methods for bounded distri","authors_text":"Arnd Hartmanns, Carlos E. Budde, Maximilian Weininger, Patrick Wienh\\\"oft, Tobias Meggendorfer","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2024-11-01T13:16:42Z","title":"Sound Statistical Model Checking for Probabilities and Expected Rewards (extended version)"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2411.00559","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:a3f9b68c65e88caeb038a246fb4a9f62a79754816372bea018c6fff06d67b897","target":"record","created_at":"2026-07-05T12:10:53Z","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":"da936eabb26631e26e28c13adf8a6260898d9eadddbdb4a2053604189a2481f1","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2024-11-01T13:16:42Z","title_canon_sha256":"c99f9c74a6169766ebd83ce43a3c7f5ab07763ba09985d4996f46d519c934dc6"},"schema_version":"1.0","source":{"id":"2411.00559","kind":"arxiv","version":2}},"canonical_sha256":"1b254c39750fb82c219642db279ddf2d48b247e13449e597ab8a9836a9827113","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1b254c39750fb82c219642db279ddf2d48b247e13449e597ab8a9836a9827113","first_computed_at":"2026-07-05T12:10:53.856363Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T12:10:53.856363Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"nsgnTzS38BvbIV+K/jvBfKUK68DgtTCnDlj23r6FuTdZxJtXkSnyZl5JXs+sHsAnh2wobX8Sy32kCd9w6Al9DA==","signature_status":"signed_v1","signed_at":"2026-07-05T12:10:53.856872Z","signed_message":"canonical_sha256_bytes"},"source_id":"2411.00559","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a3f9b68c65e88caeb038a246fb4a9f62a79754816372bea018c6fff06d67b897","sha256:c95481c6d5e9d8004d56552fe36a479fade46abea831c85553bbcd5b976f2feb"],"state_sha256":"f3c96b08fc4545df1269b80f7c02a046e3d8eeb795634c12db4d45958c75c232"}