{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:UH4OOQY4BTYY4O2WGSZMMB56ZI","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":"bed0c564d15410d7e0169cac287161ffa190df23d40b85617793d9a16e4b1e52","cross_cats_sorted":["cs.AI","cs.RO","cs.SY","eess.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2024-04-22T22:52:14Z","title_canon_sha256":"9cfa7e4db6bc1eb764508bcf37a9afd3275a178e69f6e3e4bedc2cfe27e02cf5"},"schema_version":"1.0","source":{"id":"2404.16879","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2404.16879","created_at":"2026-07-05T08:12:16Z"},{"alias_kind":"arxiv_version","alias_value":"2404.16879v1","created_at":"2026-07-05T08:12:16Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2404.16879","created_at":"2026-07-05T08:12:16Z"},{"alias_kind":"pith_short_12","alias_value":"UH4OOQY4BTYY","created_at":"2026-07-05T08:12:16Z"},{"alias_kind":"pith_short_16","alias_value":"UH4OOQY4BTYY4O2W","created_at":"2026-07-05T08:12:16Z"},{"alias_kind":"pith_short_8","alias_value":"UH4OOQY4","created_at":"2026-07-05T08:12:16Z"}],"graph_snapshots":[{"event_id":"sha256:00126e4a4f9b89c5366d4b4eff5a2633d1d192766d0459f3ac19d9f6e629fede","target":"graph","created_at":"2026-07-05T08:12:16Z","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/2404.16879/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Reinforcement learning is a powerful technique for developing new robot behaviors. However, typical lack of safety guarantees constitutes a hurdle for its practical application on real robots. To address this issue, safe reinforcement learning aims to incorporate safety considerations, enabling faster transfer to real robots and facilitating lifelong learning. One promising approach within safe reinforcement learning is the use of control barrier functions. These functions provide a framework to ensure that the system remains in a safe state during the learning process. However, synthesizing c","authors_text":"Giovanni Beltrame, Hassan Fouad, Maeva Guerrier","cross_cats":["cs.AI","cs.RO","cs.SY","eess.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2024-04-22T22:52:14Z","title":"Learning Control Barrier Functions and their application in Reinforcement Learning: A Survey"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2404.16879","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:4c837904b39933bcf6f4fcce545a479f117671edc341f7a8e7c45baffa782f36","target":"record","created_at":"2026-07-05T08:12:16Z","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":"bed0c564d15410d7e0169cac287161ffa190df23d40b85617793d9a16e4b1e52","cross_cats_sorted":["cs.AI","cs.RO","cs.SY","eess.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2024-04-22T22:52:14Z","title_canon_sha256":"9cfa7e4db6bc1eb764508bcf37a9afd3275a178e69f6e3e4bedc2cfe27e02cf5"},"schema_version":"1.0","source":{"id":"2404.16879","kind":"arxiv","version":1}},"canonical_sha256":"a1f8e7431c0cf18e3b5634b2c607beca3639b30601262524c1917fdfa8ea5952","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a1f8e7431c0cf18e3b5634b2c607beca3639b30601262524c1917fdfa8ea5952","first_computed_at":"2026-07-05T08:12:16.430321Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:12:16.430321Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"bAG7Dy7uOYOYwf1vRh4ChP/RuZkE2rlae+JEjtkr/5EHZBs5jKxEF61ZW1rGQt7H1lL9Pu3YnshxWti0cMnDDQ==","signature_status":"signed_v1","signed_at":"2026-07-05T08:12:16.430727Z","signed_message":"canonical_sha256_bytes"},"source_id":"2404.16879","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4c837904b39933bcf6f4fcce545a479f117671edc341f7a8e7c45baffa782f36","sha256:00126e4a4f9b89c5366d4b4eff5a2633d1d192766d0459f3ac19d9f6e629fede"],"state_sha256":"b552341968aedf3a4b7bf9ff99bcfd607d1db5c2ca736079eaea667fe7e9eb64"}