{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:HIV6RJ7HTXKCA5TYO376C5I6W2","short_pith_number":"pith:HIV6RJ7H","canonical_record":{"source":{"id":"2605.12974","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2026-05-13T04:11:58Z","cross_cats_sorted":["cs.SY","eess.SY"],"title_canon_sha256":"81e867baa5a69a206152637d0b0c0dd091d31bf0c04c5156dcc6c410035a5d48","abstract_canon_sha256":"ab5764b25eff5bcff2b31da8cb413134bf04f5bd495668116f9d316dcbb221dc"},"schema_version":"1.0"},"canonical_sha256":"3a2be8a7e79dd420767876ffe1751eb69e0a3c8b6c39a9123515f92c0b95f6b0","source":{"kind":"arxiv","id":"2605.12974","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.12974","created_at":"2026-05-18T03:09:08Z"},{"alias_kind":"arxiv_version","alias_value":"2605.12974v1","created_at":"2026-05-18T03:09:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.12974","created_at":"2026-05-18T03:09:08Z"},{"alias_kind":"pith_short_12","alias_value":"HIV6RJ7HTXKC","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_16","alias_value":"HIV6RJ7HTXKCA5TY","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_8","alias_value":"HIV6RJ7H","created_at":"2026-05-18T12:33:37Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:HIV6RJ7HTXKCA5TYO376C5I6W2","target":"record","payload":{"canonical_record":{"source":{"id":"2605.12974","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2026-05-13T04:11:58Z","cross_cats_sorted":["cs.SY","eess.SY"],"title_canon_sha256":"81e867baa5a69a206152637d0b0c0dd091d31bf0c04c5156dcc6c410035a5d48","abstract_canon_sha256":"ab5764b25eff5bcff2b31da8cb413134bf04f5bd495668116f9d316dcbb221dc"},"schema_version":"1.0"},"canonical_sha256":"3a2be8a7e79dd420767876ffe1751eb69e0a3c8b6c39a9123515f92c0b95f6b0","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:09:08.787724Z","signature_b64":"7nDGLNFPwQcwIWB7MlMZd3IGpEndweZmcgOSsAL34u1Q483lCGCIN2JMP81UQoiTKwelEsPrXVcw3HcmpqJ5Bg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3a2be8a7e79dd420767876ffe1751eb69e0a3c8b6c39a9123515f92c0b95f6b0","last_reissued_at":"2026-05-18T03:09:08.787106Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:09:08.787106Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2605.12974","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T03:09:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9MrYZEuAl4jF2WFvPhkmkLzvjAJjaGoG7kxi0t6tfhHqKcXPwAz/YXfjRTAvNcBgO/sdMgDrqHoVonTjdG2qDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-22T12:49:30.396401Z"},"content_sha256":"021b94c53cbd03fc7ee34beefddf76fbf825c03babbb90746188404b778809a9","schema_version":"1.0","event_id":"sha256:021b94c53cbd03fc7ee34beefddf76fbf825c03babbb90746188404b778809a9"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:HIV6RJ7HTXKCA5TYO376C5I6W2","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Distributionally Robust Safety Under Arbitrary Uncertainties: A Safety Filtering Approach","license":"http://creativecommons.org/licenses/by/4.0/","headline":"Backup-based safety filtering reduces distributionally robust certification to a one-dimensional search over switching time.","cross_cats":["cs.SY","eess.SY"],"primary_cat":"cs.RO","authors_text":"Daniel M. Cherenson, Dimitra Panagou, Haejoon Lee, Taekyung Kim","submitted_at":"2026-05-13T04:11:58Z","abstract_excerpt":"In this work, we study how to ensure probabilistic safety for nonlinear systems under distributional ambiguity. Our approach builds on a backup-based safety filtering framework that switches between a high-performance nominal policy and a certified backup policy to ensure safety. To handle arbitrary uncertainties from ambiguous distributions, i.e., where the distribution is not of specific structure and the true distribution is unknown, we adopt a distributionally robust (DR) formulation using Wasserstein ambiguity sets. Rather than solving a high-dimensional DR trajectory optimization problem"},"claims":{"count":4,"items":[{"kind":"strongest_claim","text":"we exploit the structure of backup-based safety filtering to reduce safety certification to a one-dimensional search over the switching time between nominal and backup policies. We then develop a sampling-based certification procedure with finite-sample guarantees, where empirical failure probabilities are compared against a Wasserstein-inflated threshold.","source":"verdict.strongest_claim","status":"machine_extracted","claim_id":"C1","attestation":"unclaimed"},{"kind":"weakest_assumption","text":"The true uncertainty distribution lies within the chosen Wasserstein ambiguity set around the empirical distribution, and the backup policy remains certified safe under the worst-case distribution in that set.","source":"verdict.weakest_assumption","status":"machine_extracted","claim_id":"C2","attestation":"unclaimed"},{"kind":"one_line_summary","text":"A backup-based safety filter combined with Wasserstein ambiguity sets reduces probabilistic safety certification for nonlinear systems to a one-dimensional search with finite-sample guarantees.","source":"verdict.one_line_summary","status":"machine_extracted","claim_id":"C3","attestation":"unclaimed"},{"kind":"headline","text":"Backup-based safety filtering reduces distributionally robust certification to a one-dimensional search over switching time.","source":"verdict.pith_extraction.headline","status":"machine_extracted","claim_id":"C4","attestation":"unclaimed"}],"snapshot_sha256":"ca72d2960fc558276f5dacb88cf949419fdda0ccdd06dcc9148d470aff570951"},"source":{"id":"2605.12974","kind":"arxiv","version":1},"verdict":{"id":"37df38e2-da23-48a9-8e06-ae57fea041f7","model_set":{"reader":"grok-4.3"},"created_at":"2026-05-14T18:32:15.323813Z","strongest_claim":"we exploit the structure of backup-based safety filtering to reduce safety certification to a one-dimensional search over the switching time between nominal and backup policies. We then develop a sampling-based certification procedure with finite-sample guarantees, where empirical failure probabilities are compared against a Wasserstein-inflated threshold.","one_line_summary":"A backup-based safety filter combined with Wasserstein ambiguity sets reduces probabilistic safety certification for nonlinear systems to a one-dimensional search with finite-sample guarantees.","pipeline_version":"pith-pipeline@v0.9.0","weakest_assumption":"The true uncertainty distribution lies within the chosen Wasserstein ambiguity set around the empirical distribution, and the backup policy remains certified safe under the worst-case distribution in that set.","pith_extraction_headline":"Backup-based safety filtering reduces distributionally robust certification to a one-dimensional search over switching time."},"references":{"count":37,"sample":[{"doi":"","year":2024,"title":"Advances in the theory of control barrier func- tions: Addressing practical challenges in safe control synthesis for autonomous and robotic systems,","work_id":"edf555c9-62ab-43a2-ad4c-0deaf34a0b20","ref_index":1,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":2023,"title":"The safety filter: A unified view of safety-critical control in autonomous systems","work_id":"2c18d82a-06e9-4d2f-ae2b-0977c746dc29","ref_index":2,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":2017,"title":"Hamilton- jacobi reachability: A brief overview and recent advances,","work_id":"1cd35745-2738-4fc0-96af-2925fc927e9c","ref_index":3,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":2019,"title":"Control barrier functions: Theory and applications,","work_id":"0ac48f00-775a-482a-84ea-92f291ef3545","ref_index":4,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":2023,"title":"Robust safety under stochastic uncertainty with discrete-time control barrier functions","work_id":"b49e8448-3d52-40f1-ac92-113d1edd90ed","ref_index":5,"cited_arxiv_id":"","is_internal_anchor":false}],"resolved_work":37,"snapshot_sha256":"6c79e85e665a3e5779ef18cbcd17d4174b35b0ce6a18f2a068b3e9391c13573d","internal_anchors":1},"formal_canon":{"evidence_count":2,"snapshot_sha256":"0b56d68827308864919cf2d3ad0be309e6a435c55f2ecf934473632a492437ba"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":"37df38e2-da23-48a9-8e06-ae57fea041f7"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T03:09:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"pOmSLAeeyp7rGc0h5rbHCPksTyzU6wfME66bJ8SQla+AQfp6Jywqf9NtIQDjL5569WJHDeExjX9PU2t1kA7TAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-22T12:49:30.397396Z"},"content_sha256":"dd877a8bd0d9fd16d8e36aa984d4bce01a7542fbb1a2c91ae4ac276ccaf17317","schema_version":"1.0","event_id":"sha256:dd877a8bd0d9fd16d8e36aa984d4bce01a7542fbb1a2c91ae4ac276ccaf17317"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/HIV6RJ7HTXKCA5TYO376C5I6W2/bundle.json","state_url":"https://pith.science/pith/HIV6RJ7HTXKCA5TYO376C5I6W2/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/HIV6RJ7HTXKCA5TYO376C5I6W2/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-05-22T12:49:30Z","links":{"resolver":"https://pith.science/pith/HIV6RJ7HTXKCA5TYO376C5I6W2","bundle":"https://pith.science/pith/HIV6RJ7HTXKCA5TYO376C5I6W2/bundle.json","state":"https://pith.science/pith/HIV6RJ7HTXKCA5TYO376C5I6W2/state.json","well_known_bundle":"https://pith.science/.well-known/pith/HIV6RJ7HTXKCA5TYO376C5I6W2/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:HIV6RJ7HTXKCA5TYO376C5I6W2","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":"ab5764b25eff5bcff2b31da8cb413134bf04f5bd495668116f9d316dcbb221dc","cross_cats_sorted":["cs.SY","eess.SY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2026-05-13T04:11:58Z","title_canon_sha256":"81e867baa5a69a206152637d0b0c0dd091d31bf0c04c5156dcc6c410035a5d48"},"schema_version":"1.0","source":{"id":"2605.12974","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.12974","created_at":"2026-05-18T03:09:08Z"},{"alias_kind":"arxiv_version","alias_value":"2605.12974v1","created_at":"2026-05-18T03:09:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.12974","created_at":"2026-05-18T03:09:08Z"},{"alias_kind":"pith_short_12","alias_value":"HIV6RJ7HTXKC","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_16","alias_value":"HIV6RJ7HTXKCA5TY","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_8","alias_value":"HIV6RJ7H","created_at":"2026-05-18T12:33:37Z"}],"graph_snapshots":[{"event_id":"sha256:dd877a8bd0d9fd16d8e36aa984d4bce01a7542fbb1a2c91ae4ac276ccaf17317","target":"graph","created_at":"2026-05-18T03:09:08Z","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":4,"items":[{"attestation":"unclaimed","claim_id":"C1","kind":"strongest_claim","source":"verdict.strongest_claim","status":"machine_extracted","text":"we exploit the structure of backup-based safety filtering to reduce safety certification to a one-dimensional search over the switching time between nominal and backup policies. We then develop a sampling-based certification procedure with finite-sample guarantees, where empirical failure probabilities are compared against a Wasserstein-inflated threshold."},{"attestation":"unclaimed","claim_id":"C2","kind":"weakest_assumption","source":"verdict.weakest_assumption","status":"machine_extracted","text":"The true uncertainty distribution lies within the chosen Wasserstein ambiguity set around the empirical distribution, and the backup policy remains certified safe under the worst-case distribution in that set."},{"attestation":"unclaimed","claim_id":"C3","kind":"one_line_summary","source":"verdict.one_line_summary","status":"machine_extracted","text":"A backup-based safety filter combined with Wasserstein ambiguity sets reduces probabilistic safety certification for nonlinear systems to a one-dimensional search with finite-sample guarantees."},{"attestation":"unclaimed","claim_id":"C4","kind":"headline","source":"verdict.pith_extraction.headline","status":"machine_extracted","text":"Backup-based safety filtering reduces distributionally robust certification to a one-dimensional search over switching time."}],"snapshot_sha256":"ca72d2960fc558276f5dacb88cf949419fdda0ccdd06dcc9148d470aff570951"},"formal_canon":{"evidence_count":2,"snapshot_sha256":"0b56d68827308864919cf2d3ad0be309e6a435c55f2ecf934473632a492437ba"},"paper":{"abstract_excerpt":"In this work, we study how to ensure probabilistic safety for nonlinear systems under distributional ambiguity. Our approach builds on a backup-based safety filtering framework that switches between a high-performance nominal policy and a certified backup policy to ensure safety. To handle arbitrary uncertainties from ambiguous distributions, i.e., where the distribution is not of specific structure and the true distribution is unknown, we adopt a distributionally robust (DR) formulation using Wasserstein ambiguity sets. Rather than solving a high-dimensional DR trajectory optimization problem","authors_text":"Daniel M. Cherenson, Dimitra Panagou, Haejoon Lee, Taekyung Kim","cross_cats":["cs.SY","eess.SY"],"headline":"Backup-based safety filtering reduces distributionally robust certification to a one-dimensional search over switching time.","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2026-05-13T04:11:58Z","title":"Distributionally Robust Safety Under Arbitrary Uncertainties: A Safety Filtering Approach"},"references":{"count":37,"internal_anchors":1,"resolved_work":37,"sample":[{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":1,"title":"Advances in the theory of control barrier func- tions: Addressing practical challenges in safe control synthesis for autonomous and robotic systems,","work_id":"edf555c9-62ab-43a2-ad4c-0deaf34a0b20","year":2024},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":2,"title":"The safety filter: A unified view of safety-critical control in autonomous systems","work_id":"2c18d82a-06e9-4d2f-ae2b-0977c746dc29","year":2023},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":3,"title":"Hamilton- jacobi reachability: A brief overview and recent advances,","work_id":"1cd35745-2738-4fc0-96af-2925fc927e9c","year":2017},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":4,"title":"Control barrier functions: Theory and applications,","work_id":"0ac48f00-775a-482a-84ea-92f291ef3545","year":2019},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":5,"title":"Robust safety under stochastic uncertainty with discrete-time control barrier functions","work_id":"b49e8448-3d52-40f1-ac92-113d1edd90ed","year":2023}],"snapshot_sha256":"6c79e85e665a3e5779ef18cbcd17d4174b35b0ce6a18f2a068b3e9391c13573d"},"source":{"id":"2605.12974","kind":"arxiv","version":1},"verdict":{"created_at":"2026-05-14T18:32:15.323813Z","id":"37df38e2-da23-48a9-8e06-ae57fea041f7","model_set":{"reader":"grok-4.3"},"one_line_summary":"A backup-based safety filter combined with Wasserstein ambiguity sets reduces probabilistic safety certification for nonlinear systems to a one-dimensional search with finite-sample guarantees.","pipeline_version":"pith-pipeline@v0.9.0","pith_extraction_headline":"Backup-based safety filtering reduces distributionally robust certification to a one-dimensional search over switching time.","strongest_claim":"we exploit the structure of backup-based safety filtering to reduce safety certification to a one-dimensional search over the switching time between nominal and backup policies. We then develop a sampling-based certification procedure with finite-sample guarantees, where empirical failure probabilities are compared against a Wasserstein-inflated threshold.","weakest_assumption":"The true uncertainty distribution lies within the chosen Wasserstein ambiguity set around the empirical distribution, and the backup policy remains certified safe under the worst-case distribution in that set."}},"verdict_id":"37df38e2-da23-48a9-8e06-ae57fea041f7"}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:021b94c53cbd03fc7ee34beefddf76fbf825c03babbb90746188404b778809a9","target":"record","created_at":"2026-05-18T03:09:08Z","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":"ab5764b25eff5bcff2b31da8cb413134bf04f5bd495668116f9d316dcbb221dc","cross_cats_sorted":["cs.SY","eess.SY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2026-05-13T04:11:58Z","title_canon_sha256":"81e867baa5a69a206152637d0b0c0dd091d31bf0c04c5156dcc6c410035a5d48"},"schema_version":"1.0","source":{"id":"2605.12974","kind":"arxiv","version":1}},"canonical_sha256":"3a2be8a7e79dd420767876ffe1751eb69e0a3c8b6c39a9123515f92c0b95f6b0","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3a2be8a7e79dd420767876ffe1751eb69e0a3c8b6c39a9123515f92c0b95f6b0","first_computed_at":"2026-05-18T03:09:08.787106Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:09:08.787106Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"7nDGLNFPwQcwIWB7MlMZd3IGpEndweZmcgOSsAL34u1Q483lCGCIN2JMP81UQoiTKwelEsPrXVcw3HcmpqJ5Bg==","signature_status":"signed_v1","signed_at":"2026-05-18T03:09:08.787724Z","signed_message":"canonical_sha256_bytes"},"source_id":"2605.12974","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:021b94c53cbd03fc7ee34beefddf76fbf825c03babbb90746188404b778809a9","sha256:dd877a8bd0d9fd16d8e36aa984d4bce01a7542fbb1a2c91ae4ac276ccaf17317"],"state_sha256":"af81663abc9f2001de21222d76c81a7284a919f4872feda140fe6c26c23bc085"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"V9i35w2p2ltQv3ENMbvVnMAKRBfq2Wdt1L0s8r6sx4/uu+peW3zrKlKDhgo4ZRlwn/dP2zSmqGixQMq6F+THBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-22T12:49:30.401862Z","bundle_sha256":"2cd09e70a1b51ea161325a66ca4de8ab464a269d452b64af5f30ba920ec18157"}}