{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:W2DBY3L6V5B4GHM46PBBTOXWNY","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":"08c939d5e5eae59213db48240a36bad6bc6ad4bcfd89b91c9f0f7adfaad6291c","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2013-01-09T11:41:43Z","title_canon_sha256":"7b51c1bc1ce3cb48dba25bfecfc4773e6622af177b3696325ad07b7379b9d885"},"schema_version":"1.0","source":{"id":"1301.1818","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1301.1818","created_at":"2026-05-18T03:36:47Z"},{"alias_kind":"arxiv_version","alias_value":"1301.1818v2","created_at":"2026-05-18T03:36:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1301.1818","created_at":"2026-05-18T03:36:47Z"},{"alias_kind":"pith_short_12","alias_value":"W2DBY3L6V5B4","created_at":"2026-05-18T12:28:04Z"},{"alias_kind":"pith_short_16","alias_value":"W2DBY3L6V5B4GHM4","created_at":"2026-05-18T12:28:04Z"},{"alias_kind":"pith_short_8","alias_value":"W2DBY3L6","created_at":"2026-05-18T12:28:04Z"}],"graph_snapshots":[{"event_id":"sha256:06c7b7d8ac53bb7b90728b237f2346d5c398abd9af79e3c9ae706ad0e2cd73de","target":"graph","created_at":"2026-05-18T03:36:47Z","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"},"paper":{"abstract_excerpt":"Probabilistic model checking mainly concentrates on techniques for reasoning about the probabilities of certain path properties or expected values of certain random variables. For the quantitative system analysis, however, there is also another type of interesting performance measure, namely quantiles. A typical quantile query takes as input a lower probability bound p and a reachability property. The task is then to compute the minimal reward bound r such that with probability at least p the target set will be reached before the accumulated reward exceeds r. Quantiles are well-known from math","authors_text":"Christel Baier, Michael Ummels","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2013-01-09T11:41:43Z","title":"Computing Quantiles in Markov Reward Models"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1301.1818","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:73b4132023c4e5ee2376d7680d6c55d72a7ca73b39891ebb506357a4143af54e","target":"record","created_at":"2026-05-18T03:36:47Z","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":"08c939d5e5eae59213db48240a36bad6bc6ad4bcfd89b91c9f0f7adfaad6291c","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2013-01-09T11:41:43Z","title_canon_sha256":"7b51c1bc1ce3cb48dba25bfecfc4773e6622af177b3696325ad07b7379b9d885"},"schema_version":"1.0","source":{"id":"1301.1818","kind":"arxiv","version":2}},"canonical_sha256":"b6861c6d7eaf43c31d9cf3c219baf66e36163ac62e42e558f7eb1531b11226ec","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b6861c6d7eaf43c31d9cf3c219baf66e36163ac62e42e558f7eb1531b11226ec","first_computed_at":"2026-05-18T03:36:47.622814Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:36:47.622814Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Q4BHdHthZwU88oKX3OaR/OKVpkehAQIqCWPWACWTV4ZHY/epv5/jEpGmtwNutfqnEv1ebwoKmgrRLcbcnGrUBA==","signature_status":"signed_v1","signed_at":"2026-05-18T03:36:47.623306Z","signed_message":"canonical_sha256_bytes"},"source_id":"1301.1818","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:73b4132023c4e5ee2376d7680d6c55d72a7ca73b39891ebb506357a4143af54e","sha256:06c7b7d8ac53bb7b90728b237f2346d5c398abd9af79e3c9ae706ad0e2cd73de"],"state_sha256":"cc89fdc4391e6f580a5678366f656ca48a7b954deec51a76deadb5dd8646c54c"}