{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:C2GUDXMH2JOML73C4EM5BDUW2S","short_pith_number":"pith:C2GUDXMH","canonical_record":{"source":{"id":"2407.19907","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2024-07-29T11:34:32Z","cross_cats_sorted":[],"title_canon_sha256":"6bf02d9ee7a2ad4790f610760322989ace0ea4cb9172c47c1823f197645d4c42","abstract_canon_sha256":"f67e1c9c131cda18d85ef9127399dd4fdd8ada28fac5976b2d1ff095401e1543"},"schema_version":"1.0"},"canonical_sha256":"168d41dd87d25cc5ff62e119d08e96d49064dc1f6aede659baf571e85581266d","source":{"kind":"arxiv","id":"2407.19907","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2407.19907","created_at":"2026-07-05T08:49:46Z"},{"alias_kind":"arxiv_version","alias_value":"2407.19907v1","created_at":"2026-07-05T08:49:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2407.19907","created_at":"2026-07-05T08:49:46Z"},{"alias_kind":"pith_short_12","alias_value":"C2GUDXMH2JOM","created_at":"2026-07-05T08:49:46Z"},{"alias_kind":"pith_short_16","alias_value":"C2GUDXMH2JOML73C","created_at":"2026-07-05T08:49:46Z"},{"alias_kind":"pith_short_8","alias_value":"C2GUDXMH","created_at":"2026-07-05T08:49:46Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:C2GUDXMH2JOML73C4EM5BDUW2S","target":"record","payload":{"canonical_record":{"source":{"id":"2407.19907","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2024-07-29T11:34:32Z","cross_cats_sorted":[],"title_canon_sha256":"6bf02d9ee7a2ad4790f610760322989ace0ea4cb9172c47c1823f197645d4c42","abstract_canon_sha256":"f67e1c9c131cda18d85ef9127399dd4fdd8ada28fac5976b2d1ff095401e1543"},"schema_version":"1.0"},"canonical_sha256":"168d41dd87d25cc5ff62e119d08e96d49064dc1f6aede659baf571e85581266d","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T08:49:46.343693Z","signature_b64":"EqfK0WlWv3Cr/C/lusWxJLr8nld4EenuXq+ho3lMJmIaPPgyTTFKflWnJ5R/gE4Iy11XKwybKU5UrtKO9rnwCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"168d41dd87d25cc5ff62e119d08e96d49064dc1f6aede659baf571e85581266d","last_reissued_at":"2026-07-05T08:49:46.343217Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T08:49:46.343217Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2407.19907","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-07-05T08:49:46Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"EAz6b6J+2uzNcQU+kKwfQPvZSimKi8+MW5lJCyxSJ9WebniuRfOTlzBv1CVtZ6zHB+p85OwocxyGfnK1gQXxCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T13:36:22.364855Z"},"content_sha256":"3d279d3151730fbbe4a75362cd032548a851821cfe93aa754c23de1e3511250e","schema_version":"1.0","event_id":"sha256:3d279d3151730fbbe4a75362cd032548a851821cfe93aa754c23de1e3511250e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:C2GUDXMH2JOML73C4EM5BDUW2S","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Neural Control Barrier Functions for Safe Navigation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.RO","authors_text":"Kostas Alexis, Martin Jacquet, Marvin Harms, Mihir Kulkarni, Nikhil Khedekar","submitted_at":"2024-07-29T11:34:32Z","abstract_excerpt":"Autonomous robot navigation can be particularly demanding, especially when the surrounding environment is not known and safety of the robot is crucial. This work relates to the synthesis of Control Barrier Functions (CBFs) through data for safe navigation in unknown environments. A novel methodology to jointly learn CBFs and corresponding safe controllers, in simulation, inspired by the State Dependent Riccati Equation (SDRE) is proposed. The CBF is used to obtain admissible commands from any nominal, possibly unsafe controller. An approach to apply the CBF inside a safety filter without the n"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2407.19907","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/2407.19907/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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T08:49:46Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"SmC8jPgUvShVlQIQC3/WKF8PWOOVl0aO9Ot2bwFvmvHkOhly2GBPGHDQ/6iQTBUNmF3mXW/+yRkdbXqKBxfwAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T13:36:22.365568Z"},"content_sha256":"34d472ab5163783c6cc6d1af496c42f83e4d19c6b10352dc33fb5962bd6975ec","schema_version":"1.0","event_id":"sha256:34d472ab5163783c6cc6d1af496c42f83e4d19c6b10352dc33fb5962bd6975ec"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/C2GUDXMH2JOML73C4EM5BDUW2S/bundle.json","state_url":"https://pith.science/pith/C2GUDXMH2JOML73C4EM5BDUW2S/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/C2GUDXMH2JOML73C4EM5BDUW2S/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-08-08T13:36:22Z","links":{"resolver":"https://pith.science/pith/C2GUDXMH2JOML73C4EM5BDUW2S","bundle":"https://pith.science/pith/C2GUDXMH2JOML73C4EM5BDUW2S/bundle.json","state":"https://pith.science/pith/C2GUDXMH2JOML73C4EM5BDUW2S/state.json","well_known_bundle":"https://pith.science/.well-known/pith/C2GUDXMH2JOML73C4EM5BDUW2S/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:C2GUDXMH2JOML73C4EM5BDUW2S","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":"f67e1c9c131cda18d85ef9127399dd4fdd8ada28fac5976b2d1ff095401e1543","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2024-07-29T11:34:32Z","title_canon_sha256":"6bf02d9ee7a2ad4790f610760322989ace0ea4cb9172c47c1823f197645d4c42"},"schema_version":"1.0","source":{"id":"2407.19907","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2407.19907","created_at":"2026-07-05T08:49:46Z"},{"alias_kind":"arxiv_version","alias_value":"2407.19907v1","created_at":"2026-07-05T08:49:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2407.19907","created_at":"2026-07-05T08:49:46Z"},{"alias_kind":"pith_short_12","alias_value":"C2GUDXMH2JOM","created_at":"2026-07-05T08:49:46Z"},{"alias_kind":"pith_short_16","alias_value":"C2GUDXMH2JOML73C","created_at":"2026-07-05T08:49:46Z"},{"alias_kind":"pith_short_8","alias_value":"C2GUDXMH","created_at":"2026-07-05T08:49:46Z"}],"graph_snapshots":[{"event_id":"sha256:34d472ab5163783c6cc6d1af496c42f83e4d19c6b10352dc33fb5962bd6975ec","target":"graph","created_at":"2026-07-05T08:49:46Z","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/2407.19907/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Autonomous robot navigation can be particularly demanding, especially when the surrounding environment is not known and safety of the robot is crucial. This work relates to the synthesis of Control Barrier Functions (CBFs) through data for safe navigation in unknown environments. A novel methodology to jointly learn CBFs and corresponding safe controllers, in simulation, inspired by the State Dependent Riccati Equation (SDRE) is proposed. The CBF is used to obtain admissible commands from any nominal, possibly unsafe controller. An approach to apply the CBF inside a safety filter without the n","authors_text":"Kostas Alexis, Martin Jacquet, Marvin Harms, Mihir Kulkarni, Nikhil Khedekar","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2024-07-29T11:34:32Z","title":"Neural Control Barrier Functions for Safe Navigation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2407.19907","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:3d279d3151730fbbe4a75362cd032548a851821cfe93aa754c23de1e3511250e","target":"record","created_at":"2026-07-05T08:49:46Z","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":"f67e1c9c131cda18d85ef9127399dd4fdd8ada28fac5976b2d1ff095401e1543","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2024-07-29T11:34:32Z","title_canon_sha256":"6bf02d9ee7a2ad4790f610760322989ace0ea4cb9172c47c1823f197645d4c42"},"schema_version":"1.0","source":{"id":"2407.19907","kind":"arxiv","version":1}},"canonical_sha256":"168d41dd87d25cc5ff62e119d08e96d49064dc1f6aede659baf571e85581266d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"168d41dd87d25cc5ff62e119d08e96d49064dc1f6aede659baf571e85581266d","first_computed_at":"2026-07-05T08:49:46.343217Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:49:46.343217Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"EqfK0WlWv3Cr/C/lusWxJLr8nld4EenuXq+ho3lMJmIaPPgyTTFKflWnJ5R/gE4Iy11XKwybKU5UrtKO9rnwCg==","signature_status":"signed_v1","signed_at":"2026-07-05T08:49:46.343693Z","signed_message":"canonical_sha256_bytes"},"source_id":"2407.19907","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3d279d3151730fbbe4a75362cd032548a851821cfe93aa754c23de1e3511250e","sha256:34d472ab5163783c6cc6d1af496c42f83e4d19c6b10352dc33fb5962bd6975ec"],"state_sha256":"96baa82503ff4ed004d1c1807b334871544ed6d15fc7b06216b48aad491910e5"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+NUpPQ0fvs32myuZS2mrBKbUGKjaMQ/WAzJGRvDkhIjOS+pfZ8jQ7MZTPAghurE7bwgXzo65S1rCQ0ifhctYDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-08T13:36:22.373035Z","bundle_sha256":"85535a081647fe329d447f4c2b3df5233cb60cda5ae88d1e06b4c931ce639a2c"}}