{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:Y5VZXLGSTCNT5SNCWG36TYLJM6","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":"a069ad9260a796248e8744e7e76cb0e6e40880e52af98760dcb71659a432d950","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.ET","submitted_at":"2019-01-22T01:08:45Z","title_canon_sha256":"6068416efd1e6822ea1441054891fb3239a1faa4011f78809221270a73d61222"},"schema_version":"1.0","source":{"id":"1901.07857","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1901.07857","created_at":"2026-05-17T23:55:39Z"},{"alias_kind":"arxiv_version","alias_value":"1901.07857v1","created_at":"2026-05-17T23:55:39Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1901.07857","created_at":"2026-05-17T23:55:39Z"},{"alias_kind":"pith_short_12","alias_value":"Y5VZXLGSTCNT","created_at":"2026-05-18T12:33:33Z"},{"alias_kind":"pith_short_16","alias_value":"Y5VZXLGSTCNT5SNC","created_at":"2026-05-18T12:33:33Z"},{"alias_kind":"pith_short_8","alias_value":"Y5VZXLGS","created_at":"2026-05-18T12:33:33Z"}],"graph_snapshots":[{"event_id":"sha256:cc430249f8779980b7a09bab158425b85c44adf7de7040e63549ed620643ef49","target":"graph","created_at":"2026-05-17T23:55:39Z","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":"There has been an increasing demand for formal methods in the design process of safety-critical synthetic genetic circuits. Probabilistic model checking techniques have demonstrated significant potential in analyzing the intrinsic probabilistic behaviors of complex genetic circuit designs. However, its inability to scale limits its applicability in practice. This chapter addresses the scalability problem by presenting a state-space approximation method to remove unlikely states resulting in a reduced, finite state representation of the infinite-state continuous-time Markov chain that is amenab","authors_text":"Chris J. Myers, Curtis Madsen, Hao Zheng, Thakur Neupane, Zhen Zhang","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.ET","submitted_at":"2019-01-22T01:08:45Z","title":"Approximation Techniques for Stochastic Analysis of Biological Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1901.07857","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:7e7a8767f63f4af8a7120b538f35ac51a7b0b4c2889da05f1256aaee23268eb4","target":"record","created_at":"2026-05-17T23:55:39Z","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":"a069ad9260a796248e8744e7e76cb0e6e40880e52af98760dcb71659a432d950","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.ET","submitted_at":"2019-01-22T01:08:45Z","title_canon_sha256":"6068416efd1e6822ea1441054891fb3239a1faa4011f78809221270a73d61222"},"schema_version":"1.0","source":{"id":"1901.07857","kind":"arxiv","version":1}},"canonical_sha256":"c76b9bacd2989b3ec9a2b1b7e9e16967a21c6155c57b3312acda85c1878b47da","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c76b9bacd2989b3ec9a2b1b7e9e16967a21c6155c57b3312acda85c1878b47da","first_computed_at":"2026-05-17T23:55:39.600927Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:55:39.600927Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"UJ1CKd2YHcBeQi8KDUNd5TQM0s1d5v8QfB1qieqo5UJo19DSpZnbQ0fEEqAHFzdP4DYJ4m8gia6ybkyuz4zoCQ==","signature_status":"signed_v1","signed_at":"2026-05-17T23:55:39.601308Z","signed_message":"canonical_sha256_bytes"},"source_id":"1901.07857","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7e7a8767f63f4af8a7120b538f35ac51a7b0b4c2889da05f1256aaee23268eb4","sha256:cc430249f8779980b7a09bab158425b85c44adf7de7040e63549ed620643ef49"],"state_sha256":"3a8a3d8dab10ec5e05f7e1fec9373bc05fbce2b145889d2a1a2f43d72ee4910e"}