{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:QMJMTRYT3V6H7TOJUMFPRQNC34","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":"57af3c5a1946b29b10b03bd159bc638ed939bbe8d422e626dcf41d68e99af22e","cross_cats_sorted":["cs.RO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-04-30T13:47:25Z","title_canon_sha256":"691d4b5d64e3d51113e14ebb0a27771555a4835b9884c96f593c8d97b7c0b8b6"},"schema_version":"1.0","source":{"id":"2504.21643","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2504.21643","created_at":"2026-07-05T10:56:27Z"},{"alias_kind":"arxiv_version","alias_value":"2504.21643v1","created_at":"2026-07-05T10:56:27Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2504.21643","created_at":"2026-07-05T10:56:27Z"},{"alias_kind":"pith_short_12","alias_value":"QMJMTRYT3V6H","created_at":"2026-07-05T10:56:27Z"},{"alias_kind":"pith_short_16","alias_value":"QMJMTRYT3V6H7TOJ","created_at":"2026-07-05T10:56:27Z"},{"alias_kind":"pith_short_8","alias_value":"QMJMTRYT","created_at":"2026-07-05T10:56:27Z"}],"graph_snapshots":[{"event_id":"sha256:5f6701998af09f3d12bc56a2408e5b91874099cd8c02b9142a449455f4818c57","target":"graph","created_at":"2026-07-05T10:56:27Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2504.21643/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Achieving safe autonomous navigation systems is critical for deploying robots in dynamic and uncertain real-world environments. In this paper, we propose a hierarchical control framework leveraging neural network verification techniques to design control barrier functions (CBFs) and policy correction mechanisms that ensure safe reinforcement learning navigation policies. Our approach relies on probabilistic enumeration to identify unsafe regions of operation, which are then used to construct a safe CBF-based control layer applicable to arbitrary policies. We validate our framework both in simu","authors_text":"Alessandro Farinelli, Enrico Marchesini, Francesco Trotti, Luca Marzari","cross_cats":["cs.RO"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-04-30T13:47:25Z","title":"Designing Control Barrier Function via Probabilistic Enumeration for Safe Reinforcement Learning Navigation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2504.21643","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:1cb628210b6e5d48871a7845a5634beb3779d68bba30ebbf38e7e2b1be85f2cd","target":"record","created_at":"2026-07-05T10:56:27Z","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":"57af3c5a1946b29b10b03bd159bc638ed939bbe8d422e626dcf41d68e99af22e","cross_cats_sorted":["cs.RO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-04-30T13:47:25Z","title_canon_sha256":"691d4b5d64e3d51113e14ebb0a27771555a4835b9884c96f593c8d97b7c0b8b6"},"schema_version":"1.0","source":{"id":"2504.21643","kind":"arxiv","version":1}},"canonical_sha256":"8312c9c713dd7c7fcdc9a30af8c1a2df3b2498fab6d6842e3173e39ad61067c9","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"8312c9c713dd7c7fcdc9a30af8c1a2df3b2498fab6d6842e3173e39ad61067c9","first_computed_at":"2026-07-05T10:56:27.267617Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:56:27.267617Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"e1sEN1LYTr60O+BRb1oMbLNwj4x93DekVvJ5/FMesT7TVibM5vVy5XAjCfqw7m5AdXFPKdVOy5FzCE7ah7FiCw==","signature_status":"signed_v1","signed_at":"2026-07-05T10:56:27.268014Z","signed_message":"canonical_sha256_bytes"},"source_id":"2504.21643","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1cb628210b6e5d48871a7845a5634beb3779d68bba30ebbf38e7e2b1be85f2cd","sha256:5f6701998af09f3d12bc56a2408e5b91874099cd8c02b9142a449455f4818c57"],"state_sha256":"0a74e229011967ff8abd082cdfe4e2cf3a781a4b055f7c08913d7b028b3f05e0"}