{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2014:V4VQLJEQEGEP5L2VZGGVKI3QNV","short_pith_number":"pith:V4VQLJEQ","schema_version":"1.0","canonical_sha256":"af2b05a4902188feaf55c98d5523706d7e5b2a15650937d5933b88b8877a8e49","source":{"kind":"arxiv","id":"1410.8060","version":3},"attestation_state":"computed","paper":{"title":"ProbReach: Verified Probabilistic Delta-Reachability for Stochastic Hybrid Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"cs.LO","authors_text":"Fedor Shmarov, Paolo Zuliani","submitted_at":"2014-10-29T17:09:06Z","abstract_excerpt":"We present ProbReach, a tool for verifying probabilistic reachability for stochastic hybrid systems, i.e., computing the probability that the system reaches an unsafe region of the state space. In particular, ProbReach will compute an arbitrarily small interval which is guaranteed to contain the required probability. Standard (non-probabilistic) reachability is undecidable even for linear hybrid systems. In ProbReach we adopt the weaker notion of delta-reachability, in which the unsafe region is overapproximated by a user-defined parameter (delta). This choice leads to false alarms, but also m"},"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":"1410.8060","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-10-29T17:09:06Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"98cb953dab58ee439bb23f272088d19edcde20e1c96b08ed8c25ad4cbc6fc746","abstract_canon_sha256":"e564525e478ad2a94cabe235f180da2bc50811f86b267bfdd8fddd459109d587"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:25:33.887667Z","signature_b64":"zyv5mcKIYciQXKuKdFIWEfSa+XFPYz0GoFcZ0lmIhPjJvC1Tt0mWqHidnGjA0ar2n7oMr8IyDLFArzW3/49rAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"af2b05a4902188feaf55c98d5523706d7e5b2a15650937d5933b88b8877a8e49","last_reissued_at":"2026-05-18T02:25:33.887266Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:25:33.887266Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"ProbReach: Verified Probabilistic Delta-Reachability for Stochastic Hybrid Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"cs.LO","authors_text":"Fedor Shmarov, Paolo Zuliani","submitted_at":"2014-10-29T17:09:06Z","abstract_excerpt":"We present ProbReach, a tool for verifying probabilistic reachability for stochastic hybrid systems, i.e., computing the probability that the system reaches an unsafe region of the state space. In particular, ProbReach will compute an arbitrarily small interval which is guaranteed to contain the required probability. Standard (non-probabilistic) reachability is undecidable even for linear hybrid systems. In ProbReach we adopt the weaker notion of delta-reachability, in which the unsafe region is overapproximated by a user-defined parameter (delta). This choice leads to false alarms, but also m"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1410.8060","kind":"arxiv","version":3},"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":"1410.8060","created_at":"2026-05-18T02:25:33.887338+00:00"},{"alias_kind":"arxiv_version","alias_value":"1410.8060v3","created_at":"2026-05-18T02:25:33.887338+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1410.8060","created_at":"2026-05-18T02:25:33.887338+00:00"},{"alias_kind":"pith_short_12","alias_value":"V4VQLJEQEGEP","created_at":"2026-05-18T12:28:52.271510+00:00"},{"alias_kind":"pith_short_16","alias_value":"V4VQLJEQEGEP5L2V","created_at":"2026-05-18T12:28:52.271510+00:00"},{"alias_kind":"pith_short_8","alias_value":"V4VQLJEQ","created_at":"2026-05-18T12:28:52.271510+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/V4VQLJEQEGEP5L2VZGGVKI3QNV","json":"https://pith.science/pith/V4VQLJEQEGEP5L2VZGGVKI3QNV.json","graph_json":"https://pith.science/api/pith-number/V4VQLJEQEGEP5L2VZGGVKI3QNV/graph.json","events_json":"https://pith.science/api/pith-number/V4VQLJEQEGEP5L2VZGGVKI3QNV/events.json","paper":"https://pith.science/paper/V4VQLJEQ"},"agent_actions":{"view_html":"https://pith.science/pith/V4VQLJEQEGEP5L2VZGGVKI3QNV","download_json":"https://pith.science/pith/V4VQLJEQEGEP5L2VZGGVKI3QNV.json","view_paper":"https://pith.science/paper/V4VQLJEQ","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1410.8060&json=true","fetch_graph":"https://pith.science/api/pith-number/V4VQLJEQEGEP5L2VZGGVKI3QNV/graph.json","fetch_events":"https://pith.science/api/pith-number/V4VQLJEQEGEP5L2VZGGVKI3QNV/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/V4VQLJEQEGEP5L2VZGGVKI3QNV/action/timestamp_anchor","attest_storage":"https://pith.science/pith/V4VQLJEQEGEP5L2VZGGVKI3QNV/action/storage_attestation","attest_author":"https://pith.science/pith/V4VQLJEQEGEP5L2VZGGVKI3QNV/action/author_attestation","sign_citation":"https://pith.science/pith/V4VQLJEQEGEP5L2VZGGVKI3QNV/action/citation_signature","submit_replication":"https://pith.science/pith/V4VQLJEQEGEP5L2VZGGVKI3QNV/action/replication_record"}},"created_at":"2026-05-18T02:25:33.887338+00:00","updated_at":"2026-05-18T02:25:33.887338+00:00"}