{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:PKQL6IU2FQOLZZDCZKQMA3NKHJ","short_pith_number":"pith:PKQL6IU2","canonical_record":{"source":{"id":"1310.4734","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NA","submitted_at":"2013-10-17T15:00:14Z","cross_cats_sorted":["cs.CE","cs.SY"],"title_canon_sha256":"45a60f9b7818514bff53ff93ffcf5e2c61802a38ac36fd71093ff75423abebcc","abstract_canon_sha256":"bde3240484ce7b762f4af01718d7a041035b0b3280f6fcdac052c34d88f31f0c"},"schema_version":"1.0"},"canonical_sha256":"7aa0bf229a2c1cbce462caa0c06daa3a7304a0b65ee3dba0b523cf525e628465","source":{"kind":"arxiv","id":"1310.4734","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1310.4734","created_at":"2026-05-18T03:10:13Z"},{"alias_kind":"arxiv_version","alias_value":"1310.4734v1","created_at":"2026-05-18T03:10:13Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1310.4734","created_at":"2026-05-18T03:10:13Z"},{"alias_kind":"pith_short_12","alias_value":"PKQL6IU2FQOL","created_at":"2026-05-18T12:27:54Z"},{"alias_kind":"pith_short_16","alias_value":"PKQL6IU2FQOLZZDC","created_at":"2026-05-18T12:27:54Z"},{"alias_kind":"pith_short_8","alias_value":"PKQL6IU2","created_at":"2026-05-18T12:27:54Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:PKQL6IU2FQOLZZDCZKQMA3NKHJ","target":"record","payload":{"canonical_record":{"source":{"id":"1310.4734","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NA","submitted_at":"2013-10-17T15:00:14Z","cross_cats_sorted":["cs.CE","cs.SY"],"title_canon_sha256":"45a60f9b7818514bff53ff93ffcf5e2c61802a38ac36fd71093ff75423abebcc","abstract_canon_sha256":"bde3240484ce7b762f4af01718d7a041035b0b3280f6fcdac052c34d88f31f0c"},"schema_version":"1.0"},"canonical_sha256":"7aa0bf229a2c1cbce462caa0c06daa3a7304a0b65ee3dba0b523cf525e628465","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:10:13.000785Z","signature_b64":"dQ6gpNe4/YF00qwTMqHuSWfGYElVFH34l4+tID6LtMIfSezPrXIJ9ggXZTtEmBZTLhUVJKyLdZu/m7EaBohtBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7aa0bf229a2c1cbce462caa0c06daa3a7304a0b65ee3dba0b523cf525e628465","last_reissued_at":"2026-05-18T03:10:13.000096Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:10:13.000096Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1310.4734","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-18T03:10:13Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"4xjOK/V8hAIKxDyA0PJ6RNII3Oeaa+wBUGVg8SUNqohVkwsALUCwU+dvMlyw0Ofbpg9h3xkQ7Z6iCRZgvpHDBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-29T08:20:32.405808Z"},"content_sha256":"53a31a55439fb4c3f293c1b20dc2e92375dd6aab1e408ec2495e984ba0ba0542","schema_version":"1.0","event_id":"sha256:53a31a55439fb4c3f293c1b20dc2e92375dd6aab1e408ec2495e984ba0ba0542"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:PKQL6IU2FQOLZZDCZKQMA3NKHJ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"On Robustness Analysis of Stochastic Biochemical Systems by Probabilistic Model Checking","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CE","cs.SY"],"primary_cat":"cs.NA","authors_text":"David Safranek, Lubos Brim, Milan Ceska, Sven Drazan","submitted_at":"2013-10-17T15:00:14Z","abstract_excerpt":"This report proposes a novel framework for a rigorous robustness analysis of stochastic biochemical systems. The technique is based on probabilistic model checking. We adapt the general definition of robustness introduced by Kitano to the class of stochastic systems modelled as continuous time Markov Chains in order to extensively analyse and compare robustness of biological models with uncertain parameters. The framework utilises novel computational methods that enable to effectively evaluate the robustness of models with respect to quantitative temporal properties and parameters such as reac"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1310.4734","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-18T03:10:13Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2SNbpGQc6YWGT9fvHbBwlnnmp+EgkETqn+NOXlbW+vImCg39gdwMHXgEPXSQhLGJabki+Fk8s5XhtZ2OaaqICQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-29T08:20:32.406149Z"},"content_sha256":"d52d4e2821c60bf5f61b744cb24f3ee42585dcc23a29c312bb796fbdb4ce1c80","schema_version":"1.0","event_id":"sha256:d52d4e2821c60bf5f61b744cb24f3ee42585dcc23a29c312bb796fbdb4ce1c80"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/PKQL6IU2FQOLZZDCZKQMA3NKHJ/bundle.json","state_url":"https://pith.science/pith/PKQL6IU2FQOLZZDCZKQMA3NKHJ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/PKQL6IU2FQOLZZDCZKQMA3NKHJ/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-29T08:20:32Z","links":{"resolver":"https://pith.science/pith/PKQL6IU2FQOLZZDCZKQMA3NKHJ","bundle":"https://pith.science/pith/PKQL6IU2FQOLZZDCZKQMA3NKHJ/bundle.json","state":"https://pith.science/pith/PKQL6IU2FQOLZZDCZKQMA3NKHJ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/PKQL6IU2FQOLZZDCZKQMA3NKHJ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:PKQL6IU2FQOLZZDCZKQMA3NKHJ","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":"bde3240484ce7b762f4af01718d7a041035b0b3280f6fcdac052c34d88f31f0c","cross_cats_sorted":["cs.CE","cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NA","submitted_at":"2013-10-17T15:00:14Z","title_canon_sha256":"45a60f9b7818514bff53ff93ffcf5e2c61802a38ac36fd71093ff75423abebcc"},"schema_version":"1.0","source":{"id":"1310.4734","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1310.4734","created_at":"2026-05-18T03:10:13Z"},{"alias_kind":"arxiv_version","alias_value":"1310.4734v1","created_at":"2026-05-18T03:10:13Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1310.4734","created_at":"2026-05-18T03:10:13Z"},{"alias_kind":"pith_short_12","alias_value":"PKQL6IU2FQOL","created_at":"2026-05-18T12:27:54Z"},{"alias_kind":"pith_short_16","alias_value":"PKQL6IU2FQOLZZDC","created_at":"2026-05-18T12:27:54Z"},{"alias_kind":"pith_short_8","alias_value":"PKQL6IU2","created_at":"2026-05-18T12:27:54Z"}],"graph_snapshots":[{"event_id":"sha256:d52d4e2821c60bf5f61b744cb24f3ee42585dcc23a29c312bb796fbdb4ce1c80","target":"graph","created_at":"2026-05-18T03:10:13Z","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 report proposes a novel framework for a rigorous robustness analysis of stochastic biochemical systems. The technique is based on probabilistic model checking. We adapt the general definition of robustness introduced by Kitano to the class of stochastic systems modelled as continuous time Markov Chains in order to extensively analyse and compare robustness of biological models with uncertain parameters. The framework utilises novel computational methods that enable to effectively evaluate the robustness of models with respect to quantitative temporal properties and parameters such as reac","authors_text":"David Safranek, Lubos Brim, Milan Ceska, Sven Drazan","cross_cats":["cs.CE","cs.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NA","submitted_at":"2013-10-17T15:00:14Z","title":"On Robustness Analysis of Stochastic Biochemical Systems by Probabilistic Model Checking"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1310.4734","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:53a31a55439fb4c3f293c1b20dc2e92375dd6aab1e408ec2495e984ba0ba0542","target":"record","created_at":"2026-05-18T03:10:13Z","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":"bde3240484ce7b762f4af01718d7a041035b0b3280f6fcdac052c34d88f31f0c","cross_cats_sorted":["cs.CE","cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NA","submitted_at":"2013-10-17T15:00:14Z","title_canon_sha256":"45a60f9b7818514bff53ff93ffcf5e2c61802a38ac36fd71093ff75423abebcc"},"schema_version":"1.0","source":{"id":"1310.4734","kind":"arxiv","version":1}},"canonical_sha256":"7aa0bf229a2c1cbce462caa0c06daa3a7304a0b65ee3dba0b523cf525e628465","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7aa0bf229a2c1cbce462caa0c06daa3a7304a0b65ee3dba0b523cf525e628465","first_computed_at":"2026-05-18T03:10:13.000096Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:10:13.000096Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"dQ6gpNe4/YF00qwTMqHuSWfGYElVFH34l4+tID6LtMIfSezPrXIJ9ggXZTtEmBZTLhUVJKyLdZu/m7EaBohtBg==","signature_status":"signed_v1","signed_at":"2026-05-18T03:10:13.000785Z","signed_message":"canonical_sha256_bytes"},"source_id":"1310.4734","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:53a31a55439fb4c3f293c1b20dc2e92375dd6aab1e408ec2495e984ba0ba0542","sha256:d52d4e2821c60bf5f61b744cb24f3ee42585dcc23a29c312bb796fbdb4ce1c80"],"state_sha256":"9eb52e518f7b13c8031a5faaf1c1d178b22fb375b870d0036c45f44e8dfca7eb"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"CoeiwTMnx0GziEKfJ33T0Q1/yUB1qtqipZA0axBnT7He9rRv376sjiSmw2ZCMa4u41aciEGyD9NRf5T/wDOVCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-29T08:20:32.407995Z","bundle_sha256":"b7b0a7ef9e51f35338c76f049ce61ce87b1e0aa2a657b4c8624f8cafea0971a8"}}