{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:Q7WAE7RLNEZXM3CFK74WCPORG3","short_pith_number":"pith:Q7WAE7RL","canonical_record":{"source":{"id":"1701.02996","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2017-01-11T14:57:30Z","cross_cats_sorted":["cs.DM","cs.LO"],"title_canon_sha256":"15e7537d9723fec1e336f3bb656bbb3bfdd6e046064be8bca567f179f5c5fc01","abstract_canon_sha256":"c4c84421bb27bcdcbcd120a3556c6d5c993fe69644ed4a414b6039bc266d73ed"},"schema_version":"1.0"},"canonical_sha256":"87ec027e2b6933766c4557f9613dd136c99c490ac0bd5d6ac76a125884dd105b","source":{"kind":"arxiv","id":"1701.02996","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1701.02996","created_at":"2026-05-18T00:52:59Z"},{"alias_kind":"arxiv_version","alias_value":"1701.02996v1","created_at":"2026-05-18T00:52:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1701.02996","created_at":"2026-05-18T00:52:59Z"},{"alias_kind":"pith_short_12","alias_value":"Q7WAE7RLNEZX","created_at":"2026-05-18T12:31:37Z"},{"alias_kind":"pith_short_16","alias_value":"Q7WAE7RLNEZXM3CF","created_at":"2026-05-18T12:31:37Z"},{"alias_kind":"pith_short_8","alias_value":"Q7WAE7RL","created_at":"2026-05-18T12:31:37Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:Q7WAE7RLNEZXM3CFK74WCPORG3","target":"record","payload":{"canonical_record":{"source":{"id":"1701.02996","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2017-01-11T14:57:30Z","cross_cats_sorted":["cs.DM","cs.LO"],"title_canon_sha256":"15e7537d9723fec1e336f3bb656bbb3bfdd6e046064be8bca567f179f5c5fc01","abstract_canon_sha256":"c4c84421bb27bcdcbcd120a3556c6d5c993fe69644ed4a414b6039bc266d73ed"},"schema_version":"1.0"},"canonical_sha256":"87ec027e2b6933766c4557f9613dd136c99c490ac0bd5d6ac76a125884dd105b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:52:59.607761Z","signature_b64":"Npm8THoBdSOl+cXSSlQFcGIa5TMWcGpjELafJ9/z/86mFBQYC4vZSOOHqdREdZ99FipoA8nRhdzBQjJJL8kkAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"87ec027e2b6933766c4557f9613dd136c99c490ac0bd5d6ac76a125884dd105b","last_reissued_at":"2026-05-18T00:52:59.607185Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:52:59.607185Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1701.02996","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-05-18T00:52:59Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"BhaHu/eV89o7L+Wktj0cEoER/wYUWREspfvHmDHknUTMlA+Cz0wvMCLZHrtvBHg8F8wFsxY49vuGFWQlKcoBAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T02:34:43.648615Z"},"content_sha256":"3ccf43f0079178b7e51b92c9a528a0268b8737e62c4fae658fd04aff5adb8568","schema_version":"1.0","event_id":"sha256:3ccf43f0079178b7e51b92c9a528a0268b8737e62c4fae658fd04aff5adb8568"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:Q7WAE7RLNEZXM3CFK74WCPORG3","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Reachability in Augmented Interval Markov Chains","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DM","cs.LO"],"primary_cat":"cs.CC","authors_text":"Ventsislav Chonev","submitted_at":"2017-01-11T14:57:30Z","abstract_excerpt":"In this paper we propose augmented interval Markov chains (AIMCs): a generalisation of the familiar interval Markov chains (IMCs) where uncertain transition probabilities are in addition allowed to depend on one another. This new model preserves the flexibility afforded by IMCs for describing stochastic systems where the parameters are unclear, for example due to measurement error, but also allows us to specify transitions with probabilities known to be identical, thereby lending further expressivity.\n  The focus of this paper is reachability in AIMCs. We study the qualitative, exact quantitat"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1701.02996","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":""},"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-18T00:52:59Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"oaisK2lyIJR/7KliHWA2F4YdieM+t2NvWE5NYGApQPaI3tQHDkLCTwqVafbP6Se9HAvyBcKEL5awslhMMHK+Cg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T02:34:43.649185Z"},"content_sha256":"ae8e0b9be5b934dc8374c032516b5d12bfa4cc0686e6b2292f535feaf025d6ae","schema_version":"1.0","event_id":"sha256:ae8e0b9be5b934dc8374c032516b5d12bfa4cc0686e6b2292f535feaf025d6ae"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/Q7WAE7RLNEZXM3CFK74WCPORG3/bundle.json","state_url":"https://pith.science/pith/Q7WAE7RLNEZXM3CFK74WCPORG3/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/Q7WAE7RLNEZXM3CFK74WCPORG3/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-27T02:34:43Z","links":{"resolver":"https://pith.science/pith/Q7WAE7RLNEZXM3CFK74WCPORG3","bundle":"https://pith.science/pith/Q7WAE7RLNEZXM3CFK74WCPORG3/bundle.json","state":"https://pith.science/pith/Q7WAE7RLNEZXM3CFK74WCPORG3/state.json","well_known_bundle":"https://pith.science/.well-known/pith/Q7WAE7RLNEZXM3CFK74WCPORG3/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:Q7WAE7RLNEZXM3CFK74WCPORG3","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":"c4c84421bb27bcdcbcd120a3556c6d5c993fe69644ed4a414b6039bc266d73ed","cross_cats_sorted":["cs.DM","cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2017-01-11T14:57:30Z","title_canon_sha256":"15e7537d9723fec1e336f3bb656bbb3bfdd6e046064be8bca567f179f5c5fc01"},"schema_version":"1.0","source":{"id":"1701.02996","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1701.02996","created_at":"2026-05-18T00:52:59Z"},{"alias_kind":"arxiv_version","alias_value":"1701.02996v1","created_at":"2026-05-18T00:52:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1701.02996","created_at":"2026-05-18T00:52:59Z"},{"alias_kind":"pith_short_12","alias_value":"Q7WAE7RLNEZX","created_at":"2026-05-18T12:31:37Z"},{"alias_kind":"pith_short_16","alias_value":"Q7WAE7RLNEZXM3CF","created_at":"2026-05-18T12:31:37Z"},{"alias_kind":"pith_short_8","alias_value":"Q7WAE7RL","created_at":"2026-05-18T12:31:37Z"}],"graph_snapshots":[{"event_id":"sha256:ae8e0b9be5b934dc8374c032516b5d12bfa4cc0686e6b2292f535feaf025d6ae","target":"graph","created_at":"2026-05-18T00:52:59Z","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":"In this paper we propose augmented interval Markov chains (AIMCs): a generalisation of the familiar interval Markov chains (IMCs) where uncertain transition probabilities are in addition allowed to depend on one another. This new model preserves the flexibility afforded by IMCs for describing stochastic systems where the parameters are unclear, for example due to measurement error, but also allows us to specify transitions with probabilities known to be identical, thereby lending further expressivity.\n  The focus of this paper is reachability in AIMCs. We study the qualitative, exact quantitat","authors_text":"Ventsislav Chonev","cross_cats":["cs.DM","cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2017-01-11T14:57:30Z","title":"Reachability in Augmented Interval Markov Chains"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1701.02996","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:3ccf43f0079178b7e51b92c9a528a0268b8737e62c4fae658fd04aff5adb8568","target":"record","created_at":"2026-05-18T00:52:59Z","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":"c4c84421bb27bcdcbcd120a3556c6d5c993fe69644ed4a414b6039bc266d73ed","cross_cats_sorted":["cs.DM","cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2017-01-11T14:57:30Z","title_canon_sha256":"15e7537d9723fec1e336f3bb656bbb3bfdd6e046064be8bca567f179f5c5fc01"},"schema_version":"1.0","source":{"id":"1701.02996","kind":"arxiv","version":1}},"canonical_sha256":"87ec027e2b6933766c4557f9613dd136c99c490ac0bd5d6ac76a125884dd105b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"87ec027e2b6933766c4557f9613dd136c99c490ac0bd5d6ac76a125884dd105b","first_computed_at":"2026-05-18T00:52:59.607185Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:52:59.607185Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Npm8THoBdSOl+cXSSlQFcGIa5TMWcGpjELafJ9/z/86mFBQYC4vZSOOHqdREdZ99FipoA8nRhdzBQjJJL8kkAQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:52:59.607761Z","signed_message":"canonical_sha256_bytes"},"source_id":"1701.02996","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3ccf43f0079178b7e51b92c9a528a0268b8737e62c4fae658fd04aff5adb8568","sha256:ae8e0b9be5b934dc8374c032516b5d12bfa4cc0686e6b2292f535feaf025d6ae"],"state_sha256":"91132d616b06863bac2b47c403ed260327089289202ed6d23a8406f5504e361a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"GWMM0IlJ3UWmiUYe3knyEXqWqn9KJ5GdfN78f6l5cMKsKXMwH1x/Bxw6C/Z8xht+S5hryfg1iWEJFlRSaYbXAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-27T02:34:43.652330Z","bundle_sha256":"2a50a42c63093aa1be8ec16abe8649aea17e5230150228f7b565b44dc84862dd"}}