{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:MZ7VN3U6RXYANDVQD3LBYCHSOD","short_pith_number":"pith:MZ7VN3U6","canonical_record":{"source":{"id":"1804.08744","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-04-23T21:27:07Z","cross_cats_sorted":["q-bio.QM"],"title_canon_sha256":"c7af41d06fbfd6081ad54c92e594eb08bf1a3da707241de7190f5c521d10b88f","abstract_canon_sha256":"07da74cdc329a40b804e4bfd8568ad27cb96ff2beaed63338d06c6b4a78d5605"},"schema_version":"1.0"},"canonical_sha256":"667f56ee9e8df0068eb01ed61c08f270eaa44b1d2e6e55e94b44a316248d3e18","source":{"kind":"arxiv","id":"1804.08744","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1804.08744","created_at":"2026-05-18T00:17:37Z"},{"alias_kind":"arxiv_version","alias_value":"1804.08744v1","created_at":"2026-05-18T00:17:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1804.08744","created_at":"2026-05-18T00:17:37Z"},{"alias_kind":"pith_short_12","alias_value":"MZ7VN3U6RXYA","created_at":"2026-05-18T12:32:40Z"},{"alias_kind":"pith_short_16","alias_value":"MZ7VN3U6RXYANDVQ","created_at":"2026-05-18T12:32:40Z"},{"alias_kind":"pith_short_8","alias_value":"MZ7VN3U6","created_at":"2026-05-18T12:32:40Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:MZ7VN3U6RXYANDVQD3LBYCHSOD","target":"record","payload":{"canonical_record":{"source":{"id":"1804.08744","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-04-23T21:27:07Z","cross_cats_sorted":["q-bio.QM"],"title_canon_sha256":"c7af41d06fbfd6081ad54c92e594eb08bf1a3da707241de7190f5c521d10b88f","abstract_canon_sha256":"07da74cdc329a40b804e4bfd8568ad27cb96ff2beaed63338d06c6b4a78d5605"},"schema_version":"1.0"},"canonical_sha256":"667f56ee9e8df0068eb01ed61c08f270eaa44b1d2e6e55e94b44a316248d3e18","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:17:37.494641Z","signature_b64":"p9F+W1Op3dx0NmS/1RuzqBIniCmXue8UOpMqcChvU/dbxSuqugCAg+f9LpHV19smDd8vJI7Wg7MMbwrp8yOpAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"667f56ee9e8df0068eb01ed61c08f270eaa44b1d2e6e55e94b44a316248d3e18","last_reissued_at":"2026-05-18T00:17:37.494115Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:17:37.494115Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1804.08744","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:17:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"dkFDkTEa6LQj8vA9LNNkCsVlK01+5PjDXK+4Ur9+KWRP/pnqRyFBuHBsUJOxMx6jfnCrHt3tI0i2RKnw1ngQBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T10:54:29.647301Z"},"content_sha256":"9ae8854275d72f2c3ac16cbdb8710d6f6dde5453e7c3a69fd4735e5f5afb6a74","schema_version":"1.0","event_id":"sha256:9ae8854275d72f2c3ac16cbdb8710d6f6dde5453e7c3a69fd4735e5f5afb6a74"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:MZ7VN3U6RXYANDVQD3LBYCHSOD","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Central Limit Model Checking","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["q-bio.QM"],"primary_cat":"cs.LO","authors_text":"Luca Bortolussi, Luca Cardelli, Luca Laurenti, Marta Kwiatkowska","submitted_at":"2018-04-23T21:27:07Z","abstract_excerpt":"We consider probabilistic model checking for continuous-time Markov chains (CTMCs) induced from Stochastic Reaction Networks (SRNs) against a fragment of Continuous Stochastic Logic (CSL) extended with reward operators. Classical numerical algorithms for CSL model checking based on uniformisation are limited to finite CTMCs and suffer from the state sapce explosion problem. On the other hand, approximate techniques such as mean-field approximations and simulations combined with statistical inference are more scalable, but can be time consuming and do not support the full expressiveness of CSL."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1804.08744","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:17:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8RiOHhTUI806Gi3OTMOxJp+JTBOzmRmzI38Gz9u1GQoAXoWOWW3iwcDxwc5CTqc+OSBTkbgjHMyjEnJGvRo5DQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T10:54:29.647819Z"},"content_sha256":"6cfd53e53faecd0b42b752a17a4b658ccd88fd4c6fdf3f98b4889a127c33565c","schema_version":"1.0","event_id":"sha256:6cfd53e53faecd0b42b752a17a4b658ccd88fd4c6fdf3f98b4889a127c33565c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/MZ7VN3U6RXYANDVQD3LBYCHSOD/bundle.json","state_url":"https://pith.science/pith/MZ7VN3U6RXYANDVQD3LBYCHSOD/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/MZ7VN3U6RXYANDVQD3LBYCHSOD/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-27T10:54:29Z","links":{"resolver":"https://pith.science/pith/MZ7VN3U6RXYANDVQD3LBYCHSOD","bundle":"https://pith.science/pith/MZ7VN3U6RXYANDVQD3LBYCHSOD/bundle.json","state":"https://pith.science/pith/MZ7VN3U6RXYANDVQD3LBYCHSOD/state.json","well_known_bundle":"https://pith.science/.well-known/pith/MZ7VN3U6RXYANDVQD3LBYCHSOD/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:MZ7VN3U6RXYANDVQD3LBYCHSOD","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":"07da74cdc329a40b804e4bfd8568ad27cb96ff2beaed63338d06c6b4a78d5605","cross_cats_sorted":["q-bio.QM"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-04-23T21:27:07Z","title_canon_sha256":"c7af41d06fbfd6081ad54c92e594eb08bf1a3da707241de7190f5c521d10b88f"},"schema_version":"1.0","source":{"id":"1804.08744","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1804.08744","created_at":"2026-05-18T00:17:37Z"},{"alias_kind":"arxiv_version","alias_value":"1804.08744v1","created_at":"2026-05-18T00:17:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1804.08744","created_at":"2026-05-18T00:17:37Z"},{"alias_kind":"pith_short_12","alias_value":"MZ7VN3U6RXYA","created_at":"2026-05-18T12:32:40Z"},{"alias_kind":"pith_short_16","alias_value":"MZ7VN3U6RXYANDVQ","created_at":"2026-05-18T12:32:40Z"},{"alias_kind":"pith_short_8","alias_value":"MZ7VN3U6","created_at":"2026-05-18T12:32:40Z"}],"graph_snapshots":[{"event_id":"sha256:6cfd53e53faecd0b42b752a17a4b658ccd88fd4c6fdf3f98b4889a127c33565c","target":"graph","created_at":"2026-05-18T00:17:37Z","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 consider probabilistic model checking for continuous-time Markov chains (CTMCs) induced from Stochastic Reaction Networks (SRNs) against a fragment of Continuous Stochastic Logic (CSL) extended with reward operators. Classical numerical algorithms for CSL model checking based on uniformisation are limited to finite CTMCs and suffer from the state sapce explosion problem. On the other hand, approximate techniques such as mean-field approximations and simulations combined with statistical inference are more scalable, but can be time consuming and do not support the full expressiveness of CSL.","authors_text":"Luca Bortolussi, Luca Cardelli, Luca Laurenti, Marta Kwiatkowska","cross_cats":["q-bio.QM"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-04-23T21:27:07Z","title":"Central Limit Model Checking"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1804.08744","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:9ae8854275d72f2c3ac16cbdb8710d6f6dde5453e7c3a69fd4735e5f5afb6a74","target":"record","created_at":"2026-05-18T00:17:37Z","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":"07da74cdc329a40b804e4bfd8568ad27cb96ff2beaed63338d06c6b4a78d5605","cross_cats_sorted":["q-bio.QM"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-04-23T21:27:07Z","title_canon_sha256":"c7af41d06fbfd6081ad54c92e594eb08bf1a3da707241de7190f5c521d10b88f"},"schema_version":"1.0","source":{"id":"1804.08744","kind":"arxiv","version":1}},"canonical_sha256":"667f56ee9e8df0068eb01ed61c08f270eaa44b1d2e6e55e94b44a316248d3e18","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"667f56ee9e8df0068eb01ed61c08f270eaa44b1d2e6e55e94b44a316248d3e18","first_computed_at":"2026-05-18T00:17:37.494115Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:17:37.494115Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"p9F+W1Op3dx0NmS/1RuzqBIniCmXue8UOpMqcChvU/dbxSuqugCAg+f9LpHV19smDd8vJI7Wg7MMbwrp8yOpAg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:17:37.494641Z","signed_message":"canonical_sha256_bytes"},"source_id":"1804.08744","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9ae8854275d72f2c3ac16cbdb8710d6f6dde5453e7c3a69fd4735e5f5afb6a74","sha256:6cfd53e53faecd0b42b752a17a4b658ccd88fd4c6fdf3f98b4889a127c33565c"],"state_sha256":"7667d549d30ec4b930d33ef9f5a9f953800eb4a9fa4d09a8042c06e364821db6"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"NIJpx0EZck1RlHHdBZgQFZbjDTW073Iyvgeo98gjS4uO+E2UAoZc0j0CGLe2qqSmHAcscDg8d/GVXtW/d1l6Bg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-27T10:54:29.650389Z","bundle_sha256":"d905a81d04a697d490bb1f859a8dc69c1f3705d4001a81fb562ac016fa524718"}}