{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:CGB3HF52MWYCU3FMVLLTOTBJGK","short_pith_number":"pith:CGB3HF52","canonical_record":{"source":{"id":"1403.2864","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2014-03-12T09:56:49Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"e1627735bbc993c5d78ff9cfb7f5d91f3ac9ef6be689d13a6119744d3986f5a5","abstract_canon_sha256":"4bba3232b7eac90e4fc5ed077f55fa2e12720b1eeb710f57b3e42bbacabeb521"},"schema_version":"1.0"},"canonical_sha256":"1183b397ba65b02a6cacaad7374c2932b72f750e1add0ff833039a8531676b7f","source":{"kind":"arxiv","id":"1403.2864","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1403.2864","created_at":"2026-05-18T02:54:30Z"},{"alias_kind":"arxiv_version","alias_value":"1403.2864v3","created_at":"2026-05-18T02:54:30Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1403.2864","created_at":"2026-05-18T02:54:30Z"},{"alias_kind":"pith_short_12","alias_value":"CGB3HF52MWYC","created_at":"2026-05-18T12:28:22Z"},{"alias_kind":"pith_short_16","alias_value":"CGB3HF52MWYCU3FM","created_at":"2026-05-18T12:28:22Z"},{"alias_kind":"pith_short_8","alias_value":"CGB3HF52","created_at":"2026-05-18T12:28:22Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:CGB3HF52MWYCU3FMVLLTOTBJGK","target":"record","payload":{"canonical_record":{"source":{"id":"1403.2864","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2014-03-12T09:56:49Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"e1627735bbc993c5d78ff9cfb7f5d91f3ac9ef6be689d13a6119744d3986f5a5","abstract_canon_sha256":"4bba3232b7eac90e4fc5ed077f55fa2e12720b1eeb710f57b3e42bbacabeb521"},"schema_version":"1.0"},"canonical_sha256":"1183b397ba65b02a6cacaad7374c2932b72f750e1add0ff833039a8531676b7f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:54:30.216117Z","signature_b64":"L/ZgQ05GJcS0iC2RNsWay4pMkLRW2c2EHSyV19kTHEkCp2TV/ZwL2UTpYjZ++TZHhZz1dxh95HeO8PXGvGaqCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"1183b397ba65b02a6cacaad7374c2932b72f750e1add0ff833039a8531676b7f","last_reissued_at":"2026-05-18T02:54:30.215542Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:54:30.215542Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1403.2864","source_version":3,"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-18T02:54:30Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"GX07aQB/BBOgfRJc16vtidgi2F1klC+wuR6LRd3QdDkuyAwF2q4TWySNeaussNn1iI0T+KVbhzox4bHS9vDOAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T15:48:39.386384Z"},"content_sha256":"dab7788eeffb97ff7fc559b1f9cd76c31fd8ccfec11c697d6bab6e2d20a072e4","schema_version":"1.0","event_id":"sha256:dab7788eeffb97ff7fc559b1f9cd76c31fd8ccfec11c697d6bab6e2d20a072e4"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:CGB3HF52MWYCU3FMVLLTOTBJGK","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Probabilistic Bisimulations for PCTL Model Checking of Interval MDPs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.FL","authors_text":"Hassan Hatefi, Jan Kr\\v{c}\\'al, Vahid Hashemi","submitted_at":"2014-03-12T09:56:49Z","abstract_excerpt":"Verification of PCTL properties of MDPs with convex uncertainties has been investigated recently by Puggelli et al. However, model checking algorithms typically suffer from state space explosion. In this paper, we address probabilistic bisimulation to reduce the size of such an MDPs while preserving PCTL properties it satisfies. We discuss different interpretations of uncertainty in the models which are studied in the literature and that result in two different definitions of bisimulations. We give algorithms to compute the quotients of these bisimulations in time polynomial in the size of the"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1403.2864","kind":"arxiv","version":3},"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-18T02:54:30Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"XWFxTmzlhTfMVBuvFgPLBtN5yEJYkUIvG9C9Ka40e44Emj+pesdx+N1pX2K9RzzEPDDQ6g6Hkc/Vil8R7lxzCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T15:48:39.387021Z"},"content_sha256":"8a415dceea0e9231d6599a00c7ce35a4209db750ab984cdf0aac40ad3aafbac5","schema_version":"1.0","event_id":"sha256:8a415dceea0e9231d6599a00c7ce35a4209db750ab984cdf0aac40ad3aafbac5"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/CGB3HF52MWYCU3FMVLLTOTBJGK/bundle.json","state_url":"https://pith.science/pith/CGB3HF52MWYCU3FMVLLTOTBJGK/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/CGB3HF52MWYCU3FMVLLTOTBJGK/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-30T15:48:39Z","links":{"resolver":"https://pith.science/pith/CGB3HF52MWYCU3FMVLLTOTBJGK","bundle":"https://pith.science/pith/CGB3HF52MWYCU3FMVLLTOTBJGK/bundle.json","state":"https://pith.science/pith/CGB3HF52MWYCU3FMVLLTOTBJGK/state.json","well_known_bundle":"https://pith.science/.well-known/pith/CGB3HF52MWYCU3FMVLLTOTBJGK/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:CGB3HF52MWYCU3FMVLLTOTBJGK","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":"4bba3232b7eac90e4fc5ed077f55fa2e12720b1eeb710f57b3e42bbacabeb521","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2014-03-12T09:56:49Z","title_canon_sha256":"e1627735bbc993c5d78ff9cfb7f5d91f3ac9ef6be689d13a6119744d3986f5a5"},"schema_version":"1.0","source":{"id":"1403.2864","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1403.2864","created_at":"2026-05-18T02:54:30Z"},{"alias_kind":"arxiv_version","alias_value":"1403.2864v3","created_at":"2026-05-18T02:54:30Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1403.2864","created_at":"2026-05-18T02:54:30Z"},{"alias_kind":"pith_short_12","alias_value":"CGB3HF52MWYC","created_at":"2026-05-18T12:28:22Z"},{"alias_kind":"pith_short_16","alias_value":"CGB3HF52MWYCU3FM","created_at":"2026-05-18T12:28:22Z"},{"alias_kind":"pith_short_8","alias_value":"CGB3HF52","created_at":"2026-05-18T12:28:22Z"}],"graph_snapshots":[{"event_id":"sha256:8a415dceea0e9231d6599a00c7ce35a4209db750ab984cdf0aac40ad3aafbac5","target":"graph","created_at":"2026-05-18T02:54:30Z","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":"Verification of PCTL properties of MDPs with convex uncertainties has been investigated recently by Puggelli et al. However, model checking algorithms typically suffer from state space explosion. In this paper, we address probabilistic bisimulation to reduce the size of such an MDPs while preserving PCTL properties it satisfies. We discuss different interpretations of uncertainty in the models which are studied in the literature and that result in two different definitions of bisimulations. We give algorithms to compute the quotients of these bisimulations in time polynomial in the size of the","authors_text":"Hassan Hatefi, Jan Kr\\v{c}\\'al, Vahid Hashemi","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2014-03-12T09:56:49Z","title":"Probabilistic Bisimulations for PCTL Model Checking of Interval MDPs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1403.2864","kind":"arxiv","version":3},"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:dab7788eeffb97ff7fc559b1f9cd76c31fd8ccfec11c697d6bab6e2d20a072e4","target":"record","created_at":"2026-05-18T02:54:30Z","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":"4bba3232b7eac90e4fc5ed077f55fa2e12720b1eeb710f57b3e42bbacabeb521","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2014-03-12T09:56:49Z","title_canon_sha256":"e1627735bbc993c5d78ff9cfb7f5d91f3ac9ef6be689d13a6119744d3986f5a5"},"schema_version":"1.0","source":{"id":"1403.2864","kind":"arxiv","version":3}},"canonical_sha256":"1183b397ba65b02a6cacaad7374c2932b72f750e1add0ff833039a8531676b7f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1183b397ba65b02a6cacaad7374c2932b72f750e1add0ff833039a8531676b7f","first_computed_at":"2026-05-18T02:54:30.215542Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:54:30.215542Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"L/ZgQ05GJcS0iC2RNsWay4pMkLRW2c2EHSyV19kTHEkCp2TV/ZwL2UTpYjZ++TZHhZz1dxh95HeO8PXGvGaqCw==","signature_status":"signed_v1","signed_at":"2026-05-18T02:54:30.216117Z","signed_message":"canonical_sha256_bytes"},"source_id":"1403.2864","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:dab7788eeffb97ff7fc559b1f9cd76c31fd8ccfec11c697d6bab6e2d20a072e4","sha256:8a415dceea0e9231d6599a00c7ce35a4209db750ab984cdf0aac40ad3aafbac5"],"state_sha256":"53099ab6396385b1509f9642ad346ba3c8be0b0babfb8d212f326441b15ef6a0"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"E77sCBDcHcjBegSo76y6qDgDyxQtEIKLOr2nt93tg4SKmaoFJdIfy0zGzNrgeHGBvx9RxYESZObLXNYKIRDmBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-30T15:48:39.390369Z","bundle_sha256":"4b0a34c9365db55392e7184626901cae40b40e84a89f1982f5b2c412bc4a2c48"}}