{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2013:PKQL6IU2FQOLZZDCZKQMA3NKHJ","short_pith_number":"pith:PKQL6IU2","schema_version":"1.0","canonical_sha256":"7aa0bf229a2c1cbce462caa0c06daa3a7304a0b65ee3dba0b523cf525e628465","source":{"kind":"arxiv","id":"1310.4734","version":1},"attestation_state":"computed","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"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1310.4734","created_at":"2026-05-18T03:10:13.000189+00:00"},{"alias_kind":"arxiv_version","alias_value":"1310.4734v1","created_at":"2026-05-18T03:10:13.000189+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1310.4734","created_at":"2026-05-18T03:10:13.000189+00:00"},{"alias_kind":"pith_short_12","alias_value":"PKQL6IU2FQOL","created_at":"2026-05-18T12:27:54.935989+00:00"},{"alias_kind":"pith_short_16","alias_value":"PKQL6IU2FQOLZZDC","created_at":"2026-05-18T12:27:54.935989+00:00"},{"alias_kind":"pith_short_8","alias_value":"PKQL6IU2","created_at":"2026-05-18T12:27:54.935989+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/PKQL6IU2FQOLZZDCZKQMA3NKHJ","json":"https://pith.science/pith/PKQL6IU2FQOLZZDCZKQMA3NKHJ.json","graph_json":"https://pith.science/api/pith-number/PKQL6IU2FQOLZZDCZKQMA3NKHJ/graph.json","events_json":"https://pith.science/api/pith-number/PKQL6IU2FQOLZZDCZKQMA3NKHJ/events.json","paper":"https://pith.science/paper/PKQL6IU2"},"agent_actions":{"view_html":"https://pith.science/pith/PKQL6IU2FQOLZZDCZKQMA3NKHJ","download_json":"https://pith.science/pith/PKQL6IU2FQOLZZDCZKQMA3NKHJ.json","view_paper":"https://pith.science/paper/PKQL6IU2","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1310.4734&json=true","fetch_graph":"https://pith.science/api/pith-number/PKQL6IU2FQOLZZDCZKQMA3NKHJ/graph.json","fetch_events":"https://pith.science/api/pith-number/PKQL6IU2FQOLZZDCZKQMA3NKHJ/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/PKQL6IU2FQOLZZDCZKQMA3NKHJ/action/timestamp_anchor","attest_storage":"https://pith.science/pith/PKQL6IU2FQOLZZDCZKQMA3NKHJ/action/storage_attestation","attest_author":"https://pith.science/pith/PKQL6IU2FQOLZZDCZKQMA3NKHJ/action/author_attestation","sign_citation":"https://pith.science/pith/PKQL6IU2FQOLZZDCZKQMA3NKHJ/action/citation_signature","submit_replication":"https://pith.science/pith/PKQL6IU2FQOLZZDCZKQMA3NKHJ/action/replication_record"}},"created_at":"2026-05-18T03:10:13.000189+00:00","updated_at":"2026-05-18T03:10:13.000189+00:00"}