{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2024:SET5DIGUIMW4XLCSUWAPAHAPKP","short_pith_number":"pith:SET5DIGU","schema_version":"1.0","canonical_sha256":"9127d1a0d4432dcbac52a580f01c0f53d875444b243a714f37796c265c25791b","source":{"kind":"arxiv","id":"2410.02107","version":1},"attestation_state":"computed","paper":{"title":"Safety Verification of Stochastic Systems: A Set-Erosion Approach","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"eess.SY","authors_text":"Saber Jafarpour, Yongxin Chen, Zishun Liu","submitted_at":"2024-10-03T00:04:00Z","abstract_excerpt":"We study the safety verification problem for discrete-time stochastic systems. We propose an approach for safety verification termed set-erosion strategy that verifies the safety of a stochastic system on a safe set through the safety of its associated deterministic system on an eroded subset. The amount of erosion is captured by the probabilistic bound on the distance between stochastic trajectories and their associated deterministic counterpart. Building on our recent work [1], we establish a sharp probabilistic bound on this distance. Combining this bound with the set-erosion strategy, we e"},"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":"2410.02107","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2024-10-03T00:04:00Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"1f7c340a6a5bc892ed94f3e2deb469c33ef572655898a1c1cdfef610d15c5790","abstract_canon_sha256":"b6c921fb59c7f42f47ed210ae25e3b09c2321359239349f3f5abacaa4c535b83"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:15:00.331422Z","signature_b64":"G20GhIXOyEfnYZnIlXIsHTuvTS+XfWMYH9Z2d1JgiDmF726rxhtfCMw+GU6XYLu22FhPT1acjYXADpgjnrzEBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9127d1a0d4432dcbac52a580f01c0f53d875444b243a714f37796c265c25791b","last_reissued_at":"2026-07-05T09:15:00.330996Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:15:00.330996Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Safety Verification of Stochastic Systems: A Set-Erosion Approach","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"eess.SY","authors_text":"Saber Jafarpour, Yongxin Chen, Zishun Liu","submitted_at":"2024-10-03T00:04:00Z","abstract_excerpt":"We study the safety verification problem for discrete-time stochastic systems. We propose an approach for safety verification termed set-erosion strategy that verifies the safety of a stochastic system on a safe set through the safety of its associated deterministic system on an eroded subset. The amount of erosion is captured by the probabilistic bound on the distance between stochastic trajectories and their associated deterministic counterpart. Building on our recent work [1], we establish a sharp probabilistic bound on this distance. Combining this bound with the set-erosion strategy, we e"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2410.02107","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2410.02107/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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":"2410.02107","created_at":"2026-07-05T09:15:00.331050+00:00"},{"alias_kind":"arxiv_version","alias_value":"2410.02107v1","created_at":"2026-07-05T09:15:00.331050+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2410.02107","created_at":"2026-07-05T09:15:00.331050+00:00"},{"alias_kind":"pith_short_12","alias_value":"SET5DIGUIMW4","created_at":"2026-07-05T09:15:00.331050+00:00"},{"alias_kind":"pith_short_16","alias_value":"SET5DIGUIMW4XLCS","created_at":"2026-07-05T09:15:00.331050+00:00"},{"alias_kind":"pith_short_8","alias_value":"SET5DIGU","created_at":"2026-07-05T09:15:00.331050+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":1,"sample":[{"citing_arxiv_id":"2503.04762","citing_title":"Safety Verification of Stochastic Systems under Signal Temporal Logic Specifications","ref_index":15,"is_internal_anchor":true}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/SET5DIGUIMW4XLCSUWAPAHAPKP","json":"https://pith.science/pith/SET5DIGUIMW4XLCSUWAPAHAPKP.json","graph_json":"https://pith.science/api/pith-number/SET5DIGUIMW4XLCSUWAPAHAPKP/graph.json","events_json":"https://pith.science/api/pith-number/SET5DIGUIMW4XLCSUWAPAHAPKP/events.json","paper":"https://pith.science/paper/SET5DIGU"},"agent_actions":{"view_html":"https://pith.science/pith/SET5DIGUIMW4XLCSUWAPAHAPKP","download_json":"https://pith.science/pith/SET5DIGUIMW4XLCSUWAPAHAPKP.json","view_paper":"https://pith.science/paper/SET5DIGU","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2410.02107&json=true","fetch_graph":"https://pith.science/api/pith-number/SET5DIGUIMW4XLCSUWAPAHAPKP/graph.json","fetch_events":"https://pith.science/api/pith-number/SET5DIGUIMW4XLCSUWAPAHAPKP/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/SET5DIGUIMW4XLCSUWAPAHAPKP/action/timestamp_anchor","attest_storage":"https://pith.science/pith/SET5DIGUIMW4XLCSUWAPAHAPKP/action/storage_attestation","attest_author":"https://pith.science/pith/SET5DIGUIMW4XLCSUWAPAHAPKP/action/author_attestation","sign_citation":"https://pith.science/pith/SET5DIGUIMW4XLCSUWAPAHAPKP/action/citation_signature","submit_replication":"https://pith.science/pith/SET5DIGUIMW4XLCSUWAPAHAPKP/action/replication_record"}},"created_at":"2026-07-05T09:15:00.331050+00:00","updated_at":"2026-07-05T09:15:00.331050+00:00"}