{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2013:WTVWLCJFDPWOH5NP25AT24LOYK","short_pith_number":"pith:WTVWLCJF","schema_version":"1.0","canonical_sha256":"b4eb6589251bece3f5afd7413d716ec29d3471a3e4ea74e9e50918ef8cf346f0","source":{"kind":"arxiv","id":"1309.0866","version":1},"attestation_state":"computed","paper":{"title":"On the Robustness of Temporal Properties for Stochastic Models","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI","cs.LG","cs.SY"],"primary_cat":"cs.LO","authors_text":"Austria), Ezio Bartocci (TU Wien, Guido Sanguinetti (University of Edinburgh, Italy), Laura Nenzi (IMT Lucca, Luca Bortolussi (University of Trieste, UK)","submitted_at":"2013-09-03T23:40:49Z","abstract_excerpt":"Stochastic models such as Continuous-Time Markov Chains (CTMC) and Stochastic Hybrid Automata (SHA) are powerful formalisms to model and to reason about the dynamics of biological systems, due to their ability to capture the stochasticity inherent in biological processes. A classical question in formal modelling with clear relevance to biological modelling is the model checking problem. i.e. calculate the probability that a behaviour, expressed for instance in terms of a certain temporal logic formula, may occur in a given stochastic process. However, one may not only be interested in the noti"},"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":"1309.0866","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2013-09-03T23:40:49Z","cross_cats_sorted":["cs.AI","cs.LG","cs.SY"],"title_canon_sha256":"875875689d94b6f5da7f73088920e5a332236e5221b5c5f0eda30d71b33eb45f","abstract_canon_sha256":"0af1e66dde5c028c323c8dc85f33f2aecc030f51afa03c60bc13d3a35b3d6522"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:14:16.708575Z","signature_b64":"UU9TNEvZmGVhkR6NFL4dh4hWeygmLTubedSMY3ZNFhuuiy2Yyh62b1EjYRp7TDZlIlnsT2AD1SZvvMYeP3d3Ag==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b4eb6589251bece3f5afd7413d716ec29d3471a3e4ea74e9e50918ef8cf346f0","last_reissued_at":"2026-05-18T03:14:16.707812Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:14:16.707812Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"On the Robustness of Temporal Properties for Stochastic Models","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI","cs.LG","cs.SY"],"primary_cat":"cs.LO","authors_text":"Austria), Ezio Bartocci (TU Wien, Guido Sanguinetti (University of Edinburgh, Italy), Laura Nenzi (IMT Lucca, Luca Bortolussi (University of Trieste, UK)","submitted_at":"2013-09-03T23:40:49Z","abstract_excerpt":"Stochastic models such as Continuous-Time Markov Chains (CTMC) and Stochastic Hybrid Automata (SHA) are powerful formalisms to model and to reason about the dynamics of biological systems, due to their ability to capture the stochasticity inherent in biological processes. A classical question in formal modelling with clear relevance to biological modelling is the model checking problem. i.e. calculate the probability that a behaviour, expressed for instance in terms of a certain temporal logic formula, may occur in a given stochastic process. However, one may not only be interested in the noti"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1309.0866","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":"1309.0866","created_at":"2026-05-18T03:14:16.707933+00:00"},{"alias_kind":"arxiv_version","alias_value":"1309.0866v1","created_at":"2026-05-18T03:14:16.707933+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1309.0866","created_at":"2026-05-18T03:14:16.707933+00:00"},{"alias_kind":"pith_short_12","alias_value":"WTVWLCJFDPWO","created_at":"2026-05-18T12:28:04.890932+00:00"},{"alias_kind":"pith_short_16","alias_value":"WTVWLCJFDPWOH5NP","created_at":"2026-05-18T12:28:04.890932+00:00"},{"alias_kind":"pith_short_8","alias_value":"WTVWLCJF","created_at":"2026-05-18T12:28:04.890932+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/WTVWLCJFDPWOH5NP25AT24LOYK","json":"https://pith.science/pith/WTVWLCJFDPWOH5NP25AT24LOYK.json","graph_json":"https://pith.science/api/pith-number/WTVWLCJFDPWOH5NP25AT24LOYK/graph.json","events_json":"https://pith.science/api/pith-number/WTVWLCJFDPWOH5NP25AT24LOYK/events.json","paper":"https://pith.science/paper/WTVWLCJF"},"agent_actions":{"view_html":"https://pith.science/pith/WTVWLCJFDPWOH5NP25AT24LOYK","download_json":"https://pith.science/pith/WTVWLCJFDPWOH5NP25AT24LOYK.json","view_paper":"https://pith.science/paper/WTVWLCJF","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1309.0866&json=true","fetch_graph":"https://pith.science/api/pith-number/WTVWLCJFDPWOH5NP25AT24LOYK/graph.json","fetch_events":"https://pith.science/api/pith-number/WTVWLCJFDPWOH5NP25AT24LOYK/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/WTVWLCJFDPWOH5NP25AT24LOYK/action/timestamp_anchor","attest_storage":"https://pith.science/pith/WTVWLCJFDPWOH5NP25AT24LOYK/action/storage_attestation","attest_author":"https://pith.science/pith/WTVWLCJFDPWOH5NP25AT24LOYK/action/author_attestation","sign_citation":"https://pith.science/pith/WTVWLCJFDPWOH5NP25AT24LOYK/action/citation_signature","submit_replication":"https://pith.science/pith/WTVWLCJFDPWOH5NP25AT24LOYK/action/replication_record"}},"created_at":"2026-05-18T03:14:16.707933+00:00","updated_at":"2026-05-18T03:14:16.707933+00:00"}