{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:HIG3UNLVM7N4YWXQPO2FEFZG3R","short_pith_number":"pith:HIG3UNLV","canonical_record":{"source":{"id":"1212.1251","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2012-12-06T07:27:29Z","cross_cats_sorted":["cs.NA"],"title_canon_sha256":"3c534258e4d4adefb2f7347fa16e3ed318958d9b501c901e7d076969cedb9aed","abstract_canon_sha256":"90420f7805d72c027fcd9a12eaf78565f3928731786b6aa50d4ff9dd60dee0b0"},"schema_version":"1.0"},"canonical_sha256":"3a0dba357567dbcc5af07bb4521726dc47bbf0dacd149fc3409f8f34e8e0ea72","source":{"kind":"arxiv","id":"1212.1251","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1212.1251","created_at":"2026-05-18T01:36:26Z"},{"alias_kind":"arxiv_version","alias_value":"1212.1251v2","created_at":"2026-05-18T01:36:26Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1212.1251","created_at":"2026-05-18T01:36:26Z"},{"alias_kind":"pith_short_12","alias_value":"HIG3UNLVM7N4","created_at":"2026-05-18T12:27:09Z"},{"alias_kind":"pith_short_16","alias_value":"HIG3UNLVM7N4YWXQ","created_at":"2026-05-18T12:27:09Z"},{"alias_kind":"pith_short_8","alias_value":"HIG3UNLV","created_at":"2026-05-18T12:27:09Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:HIG3UNLVM7N4YWXQPO2FEFZG3R","target":"record","payload":{"canonical_record":{"source":{"id":"1212.1251","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2012-12-06T07:27:29Z","cross_cats_sorted":["cs.NA"],"title_canon_sha256":"3c534258e4d4adefb2f7347fa16e3ed318958d9b501c901e7d076969cedb9aed","abstract_canon_sha256":"90420f7805d72c027fcd9a12eaf78565f3928731786b6aa50d4ff9dd60dee0b0"},"schema_version":"1.0"},"canonical_sha256":"3a0dba357567dbcc5af07bb4521726dc47bbf0dacd149fc3409f8f34e8e0ea72","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:36:26.094724Z","signature_b64":"sWoeNQ/tmZ4UTsT0a8kJRbdXlHRcRlDOBJlBYxZBbjKHOMcUW+tMAxS5hOcnTnFMRy1m7wMk72YdTnKFkGUSCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3a0dba357567dbcc5af07bb4521726dc47bbf0dacd149fc3409f8f34e8e0ea72","last_reissued_at":"2026-05-18T01:36:26.094185Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:36:26.094185Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1212.1251","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-05-18T01:36:26Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9NPl/JaLQZGFXu9SqsAowHisAY3nbjqSL1pnk0W+SYipYRwpxdQ1xYxSfxRqI3RaqDJhdpyFDdRAdYhNLmXrCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T21:19:07.291666Z"},"content_sha256":"1ba9f22a72a613c562826743877a3f3e1aa47905f5bc1175cedddcfa5a8f4b3d","schema_version":"1.0","event_id":"sha256:1ba9f22a72a613c562826743877a3f3e1aa47905f5bc1175cedddcfa5a8f4b3d"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:HIG3UNLVM7N4YWXQPO2FEFZG3R","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Transient Reward Approximation for Continuous-Time Markov Chains","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.NA"],"primary_cat":"cs.LO","authors_text":"Bernd Becker, Ernst Moritz Hahn, Holger Hermanns, Ralf Wimmer","submitted_at":"2012-12-06T07:27:29Z","abstract_excerpt":"We are interested in the analysis of very large continuous-time Markov chains (CTMCs) with many distinct rates. Such models arise naturally in the context of reliability analysis, e.g., of computer network performability analysis, of power grids, of computer virus vulnerability, and in the study of crowd dynamics. We use abstraction techniques together with novel algorithms for the computation of bounds on the expected final and accumulated rewards in continuous-time Markov decision processes (CTMDPs). These ingredients are combined in a partly symbolic and partly explicit (symblicit) analysis"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1212.1251","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":""},"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-05-18T01:36:26Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"AMDgxgEc16Atl39d3uCAc2z5p87Hs1GXlCvMGtuyL3ofJ5WBYCKLgH8CC683+lADlsgPHQavl3+yIWb8EMZDDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T21:19:07.292365Z"},"content_sha256":"0d096bcb10acfe41f9036c642565429cd918d21591f8754b30971fa883577c26","schema_version":"1.0","event_id":"sha256:0d096bcb10acfe41f9036c642565429cd918d21591f8754b30971fa883577c26"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/HIG3UNLVM7N4YWXQPO2FEFZG3R/bundle.json","state_url":"https://pith.science/pith/HIG3UNLVM7N4YWXQPO2FEFZG3R/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/HIG3UNLVM7N4YWXQPO2FEFZG3R/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-05-25T21:19:07Z","links":{"resolver":"https://pith.science/pith/HIG3UNLVM7N4YWXQPO2FEFZG3R","bundle":"https://pith.science/pith/HIG3UNLVM7N4YWXQPO2FEFZG3R/bundle.json","state":"https://pith.science/pith/HIG3UNLVM7N4YWXQPO2FEFZG3R/state.json","well_known_bundle":"https://pith.science/.well-known/pith/HIG3UNLVM7N4YWXQPO2FEFZG3R/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:HIG3UNLVM7N4YWXQPO2FEFZG3R","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":"90420f7805d72c027fcd9a12eaf78565f3928731786b6aa50d4ff9dd60dee0b0","cross_cats_sorted":["cs.NA"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2012-12-06T07:27:29Z","title_canon_sha256":"3c534258e4d4adefb2f7347fa16e3ed318958d9b501c901e7d076969cedb9aed"},"schema_version":"1.0","source":{"id":"1212.1251","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1212.1251","created_at":"2026-05-18T01:36:26Z"},{"alias_kind":"arxiv_version","alias_value":"1212.1251v2","created_at":"2026-05-18T01:36:26Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1212.1251","created_at":"2026-05-18T01:36:26Z"},{"alias_kind":"pith_short_12","alias_value":"HIG3UNLVM7N4","created_at":"2026-05-18T12:27:09Z"},{"alias_kind":"pith_short_16","alias_value":"HIG3UNLVM7N4YWXQ","created_at":"2026-05-18T12:27:09Z"},{"alias_kind":"pith_short_8","alias_value":"HIG3UNLV","created_at":"2026-05-18T12:27:09Z"}],"graph_snapshots":[{"event_id":"sha256:0d096bcb10acfe41f9036c642565429cd918d21591f8754b30971fa883577c26","target":"graph","created_at":"2026-05-18T01:36:26Z","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":"We are interested in the analysis of very large continuous-time Markov chains (CTMCs) with many distinct rates. Such models arise naturally in the context of reliability analysis, e.g., of computer network performability analysis, of power grids, of computer virus vulnerability, and in the study of crowd dynamics. We use abstraction techniques together with novel algorithms for the computation of bounds on the expected final and accumulated rewards in continuous-time Markov decision processes (CTMDPs). These ingredients are combined in a partly symbolic and partly explicit (symblicit) analysis","authors_text":"Bernd Becker, Ernst Moritz Hahn, Holger Hermanns, Ralf Wimmer","cross_cats":["cs.NA"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2012-12-06T07:27:29Z","title":"Transient Reward Approximation for Continuous-Time Markov Chains"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1212.1251","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:1ba9f22a72a613c562826743877a3f3e1aa47905f5bc1175cedddcfa5a8f4b3d","target":"record","created_at":"2026-05-18T01:36:26Z","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":"90420f7805d72c027fcd9a12eaf78565f3928731786b6aa50d4ff9dd60dee0b0","cross_cats_sorted":["cs.NA"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2012-12-06T07:27:29Z","title_canon_sha256":"3c534258e4d4adefb2f7347fa16e3ed318958d9b501c901e7d076969cedb9aed"},"schema_version":"1.0","source":{"id":"1212.1251","kind":"arxiv","version":2}},"canonical_sha256":"3a0dba357567dbcc5af07bb4521726dc47bbf0dacd149fc3409f8f34e8e0ea72","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3a0dba357567dbcc5af07bb4521726dc47bbf0dacd149fc3409f8f34e8e0ea72","first_computed_at":"2026-05-18T01:36:26.094185Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:36:26.094185Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"sWoeNQ/tmZ4UTsT0a8kJRbdXlHRcRlDOBJlBYxZBbjKHOMcUW+tMAxS5hOcnTnFMRy1m7wMk72YdTnKFkGUSCA==","signature_status":"signed_v1","signed_at":"2026-05-18T01:36:26.094724Z","signed_message":"canonical_sha256_bytes"},"source_id":"1212.1251","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1ba9f22a72a613c562826743877a3f3e1aa47905f5bc1175cedddcfa5a8f4b3d","sha256:0d096bcb10acfe41f9036c642565429cd918d21591f8754b30971fa883577c26"],"state_sha256":"bb0fdbb9836c60c95f34ba6740fb444f3a85955dbcca5b3ba241a1615ff5f665"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"XzJW3Si1ae4z1p+tcl/KSQG/VrKOJX6CVUmgsIByay/tDfAtlo+Ls4HhKeE5Yg12yCInvUA4mIXJsh7LrhbdCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-25T21:19:07.296127Z","bundle_sha256":"362f776e70727ce6d95f7f95b0e646a29d6355e63324d10f0d4f688a8a6c7418"}}