{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:QIYWWQO46N36ULGXUCGXNY535Y","short_pith_number":"pith:QIYWWQO4","canonical_record":{"source":{"id":"1804.08554","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2018-04-23T16:41:23Z","cross_cats_sorted":[],"title_canon_sha256":"f83d5a9cb6ea684673542b43a9512ecbe67b2771e7b64ffee2e0bdd2811fcd09","abstract_canon_sha256":"735328cbb4668139b4b6e9db8a564ad9dc3abccaa41da99b1791c6a04fbb60dd"},"schema_version":"1.0"},"canonical_sha256":"82316b41dcf377ea2cd7a08d76e3bbee3e1157b3cec5eddd0e9378f370973765","source":{"kind":"arxiv","id":"1804.08554","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1804.08554","created_at":"2026-05-17T23:51:54Z"},{"alias_kind":"arxiv_version","alias_value":"1804.08554v1","created_at":"2026-05-17T23:51:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1804.08554","created_at":"2026-05-17T23:51:54Z"},{"alias_kind":"pith_short_12","alias_value":"QIYWWQO46N36","created_at":"2026-05-18T12:32:46Z"},{"alias_kind":"pith_short_16","alias_value":"QIYWWQO46N36ULGX","created_at":"2026-05-18T12:32:46Z"},{"alias_kind":"pith_short_8","alias_value":"QIYWWQO4","created_at":"2026-05-18T12:32:46Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:QIYWWQO46N36ULGXUCGXNY535Y","target":"record","payload":{"canonical_record":{"source":{"id":"1804.08554","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2018-04-23T16:41:23Z","cross_cats_sorted":[],"title_canon_sha256":"f83d5a9cb6ea684673542b43a9512ecbe67b2771e7b64ffee2e0bdd2811fcd09","abstract_canon_sha256":"735328cbb4668139b4b6e9db8a564ad9dc3abccaa41da99b1791c6a04fbb60dd"},"schema_version":"1.0"},"canonical_sha256":"82316b41dcf377ea2cd7a08d76e3bbee3e1157b3cec5eddd0e9378f370973765","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:51:54.596489Z","signature_b64":"uIpRDBjLVOppscC4PrVbyYGmIdmCrKYlKfMW0MlGAG8LKbqDfUTNs9/Kr61Z18pR4RIWsnvnGFRh9TMh4udxCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"82316b41dcf377ea2cd7a08d76e3bbee3e1157b3cec5eddd0e9378f370973765","last_reissued_at":"2026-05-17T23:51:54.596030Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:51:54.596030Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1804.08554","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-17T23:51:54Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/JZK46JfgbnhKpdPI9StzRuvBPqhLRejWQ7vecQiU63FM3+c4FIA7uoAd+UbuB0RnjSpI2DK3EeH1xpS1lZwCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-26T07:35:37.735941Z"},"content_sha256":"960f2b43e48b18df20f4b28232fe17a2079b793b7e9285b7731901e1cecafb0d","schema_version":"1.0","event_id":"sha256:960f2b43e48b18df20f4b28232fe17a2079b793b7e9285b7731901e1cecafb0d"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:QIYWWQO46N36ULGXUCGXNY535Y","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Approximate Abstractions of Markov Chains with Interval Decision Processes (Extended Version)","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SY","authors_text":"A. Abate, A. D'Innocenzo, J. Wheatley, Y. Zacchia Lun","submitted_at":"2018-04-23T16:41:23Z","abstract_excerpt":"This work introduces a new abstraction technique for reducing the state space of large, discrete-time labelled Markov chains. The abstraction leverages the semantics of interval Markov decision processes and the existing notion of approximate probabilistic bisimulation. Whilst standard abstractions make use of abstract points that are taken from the state space of the concrete model and which serve as representatives for sets of concrete states, in this work the abstract structure is constructed considering abstract points that are not necessarily selected from the states of the concrete model"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1804.08554","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-17T23:51:54Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"SGkr/4YKT3mZkToECLW2w4EiX/IInEQAvN/68RdH7GdxFnG4TSbOa6TPmLplZohkjQp8Y9i/ynPg0a+pnGJlCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-26T07:35:37.736289Z"},"content_sha256":"05794e9263c79a604bd265ad2af19acd23d5d6bc0b5f733448c78e61cf4c9c05","schema_version":"1.0","event_id":"sha256:05794e9263c79a604bd265ad2af19acd23d5d6bc0b5f733448c78e61cf4c9c05"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/QIYWWQO46N36ULGXUCGXNY535Y/bundle.json","state_url":"https://pith.science/pith/QIYWWQO46N36ULGXUCGXNY535Y/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/QIYWWQO46N36ULGXUCGXNY535Y/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-06-26T07:35:37Z","links":{"resolver":"https://pith.science/pith/QIYWWQO46N36ULGXUCGXNY535Y","bundle":"https://pith.science/pith/QIYWWQO46N36ULGXUCGXNY535Y/bundle.json","state":"https://pith.science/pith/QIYWWQO46N36ULGXUCGXNY535Y/state.json","well_known_bundle":"https://pith.science/.well-known/pith/QIYWWQO46N36ULGXUCGXNY535Y/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:QIYWWQO46N36ULGXUCGXNY535Y","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":"735328cbb4668139b4b6e9db8a564ad9dc3abccaa41da99b1791c6a04fbb60dd","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2018-04-23T16:41:23Z","title_canon_sha256":"f83d5a9cb6ea684673542b43a9512ecbe67b2771e7b64ffee2e0bdd2811fcd09"},"schema_version":"1.0","source":{"id":"1804.08554","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1804.08554","created_at":"2026-05-17T23:51:54Z"},{"alias_kind":"arxiv_version","alias_value":"1804.08554v1","created_at":"2026-05-17T23:51:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1804.08554","created_at":"2026-05-17T23:51:54Z"},{"alias_kind":"pith_short_12","alias_value":"QIYWWQO46N36","created_at":"2026-05-18T12:32:46Z"},{"alias_kind":"pith_short_16","alias_value":"QIYWWQO46N36ULGX","created_at":"2026-05-18T12:32:46Z"},{"alias_kind":"pith_short_8","alias_value":"QIYWWQO4","created_at":"2026-05-18T12:32:46Z"}],"graph_snapshots":[{"event_id":"sha256:05794e9263c79a604bd265ad2af19acd23d5d6bc0b5f733448c78e61cf4c9c05","target":"graph","created_at":"2026-05-17T23:51:54Z","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":"This work introduces a new abstraction technique for reducing the state space of large, discrete-time labelled Markov chains. The abstraction leverages the semantics of interval Markov decision processes and the existing notion of approximate probabilistic bisimulation. Whilst standard abstractions make use of abstract points that are taken from the state space of the concrete model and which serve as representatives for sets of concrete states, in this work the abstract structure is constructed considering abstract points that are not necessarily selected from the states of the concrete model","authors_text":"A. Abate, A. D'Innocenzo, J. Wheatley, Y. Zacchia Lun","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2018-04-23T16:41:23Z","title":"Approximate Abstractions of Markov Chains with Interval Decision Processes (Extended Version)"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1804.08554","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:960f2b43e48b18df20f4b28232fe17a2079b793b7e9285b7731901e1cecafb0d","target":"record","created_at":"2026-05-17T23:51:54Z","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":"735328cbb4668139b4b6e9db8a564ad9dc3abccaa41da99b1791c6a04fbb60dd","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2018-04-23T16:41:23Z","title_canon_sha256":"f83d5a9cb6ea684673542b43a9512ecbe67b2771e7b64ffee2e0bdd2811fcd09"},"schema_version":"1.0","source":{"id":"1804.08554","kind":"arxiv","version":1}},"canonical_sha256":"82316b41dcf377ea2cd7a08d76e3bbee3e1157b3cec5eddd0e9378f370973765","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"82316b41dcf377ea2cd7a08d76e3bbee3e1157b3cec5eddd0e9378f370973765","first_computed_at":"2026-05-17T23:51:54.596030Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:51:54.596030Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"uIpRDBjLVOppscC4PrVbyYGmIdmCrKYlKfMW0MlGAG8LKbqDfUTNs9/Kr61Z18pR4RIWsnvnGFRh9TMh4udxCQ==","signature_status":"signed_v1","signed_at":"2026-05-17T23:51:54.596489Z","signed_message":"canonical_sha256_bytes"},"source_id":"1804.08554","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:960f2b43e48b18df20f4b28232fe17a2079b793b7e9285b7731901e1cecafb0d","sha256:05794e9263c79a604bd265ad2af19acd23d5d6bc0b5f733448c78e61cf4c9c05"],"state_sha256":"0080fd7e5e0f249a79b04139a9cdae6303d524365d30ef67cc25a56e7296aeff"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"tl/kajWNj3G9bP9ScMCbv63cUYos0iLcathC6lT20OORdzx/j9IPqFLbfEdAQtaF4DcxYjvvckiNNr3X/JVCDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-26T07:35:37.738184Z","bundle_sha256":"e11a80fe7d474ade03d7a4173bab67fe0c71fd15138543ee50a4c7a001b02acd"}}