Paper Citation Record · LEDGER

Designing Control Barrier Function via Probabilistic Enumeration for Safe Reinforcement Learning Navigation

As of 20 August 2026, this Paper Citation Record lists 28 of 28 outbound references and 0 inbound Pith citation observations for arXiv:2504.21643.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2504.21643 v1

Coverage vector

measured 28 of 28 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-16T05:03:41.699382Z

measured 28 of 28 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-20T06:33:59.587034+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

28 of 28 outbound references displayed

verified exact0
verified fuzzy21
unresolved7
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation a0b69776-f6f7-430e-be17-63f4bfd2f4fb · outbound

This paper cites Achieving sustainable aquaculture: Historical and current perspectives and future needs and challenges.

Designing Control Barrier Function via Probabilistic Enumeration for Safe Reinforcement Learning Navigation Achieving sustainable aquaculture: Historical and current perspectives and future needs and challenges

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T05:03:42.061899Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation d19e01a5-be56-405b-b748-681d6f8b71e1 · outbound

This paper cites Aspects of precision agriculture.

Designing Control Barrier Function via Probabilistic Enumeration for Safe Reinforcement Learning Navigation Aspects of precision agriculture

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T05:03:42.052007Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 77c4734d-ecc0-4ff4-b409-094a36e13953 · outbound

This paper cites The challenges and opportunities for the use of robotic autonomous robotic systems in support of the blue economy.

Designing Control Barrier Function via Probabilistic Enumeration for Safe Reinforcement Learning Navigation The challenges and opportunities for the use of robotic autonomous robotic systems in support of the blue economy

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T05:03:42.040947Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation ece5d5b2-f87a-4ff5-a26e-d5c200234d7e · outbound

This paper cites Dec-mcts: Decentralized planning for multi-robot active perception.

Designing Control Barrier Function via Probabilistic Enumeration for Safe Reinforcement Learning Navigation Dec-mcts: Decentralized planning for multi-robot active perception

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T05:03:42.029830Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 32832a08-4c14-43a2-87b3-d372ac5ebf08 · outbound

This paper cites A markov decision process approach for decentralized uav formation path planning.

Designing Control Barrier Function via Probabilistic Enumeration for Safe Reinforcement Learning Navigation A markov decision process approach for decentralized uav formation path planning

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T05:03:42.018735Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 67750503-08f3-4bae-a883-7b565268c3b8 · outbound

This paper cites Path re-planning with stochastic obstacle modeling: A monte carlo tree search approach.

Designing Control Barrier Function via Probabilistic Enumeration for Safe Reinforcement Learning Navigation Path re-planning with stochastic obstacle modeling: A monte carlo tree search approach

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T05:03:42.006294Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 867eb752-1ae8-44eb-b190-c2728bd263fe · outbound

This paper cites An online path planner based on pomdp for uavs.

Designing Control Barrier Function via Probabilistic Enumeration for Safe Reinforcement Learning Navigation An online path planner based on pomdp for uavs

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T05:03:41.992963Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation c2442f1f-f580-44d4-a39c-10be27485c65 · outbound

This paper cites Safety gymnasium: A unified safe reinforcement learning benchmark.

Designing Control Barrier Function via Probabilistic Enumeration for Safe Reinforcement Learning Navigation Safety gymnasium: A unified safe reinforcement learning benchmark

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T05:03:41.978354Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation fe7c9576-d249-4249-926e-7a2720e08a18 · outbound

This paper cites Online safety property collection and refinement for safe deep reinforcement learning in mapless navigation.

Designing Control Barrier Function via Probabilistic Enumeration for Safe Reinforcement Learning Navigation Online safety property collection and refinement for safe deep reinforcement learning in mapless navigation

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T05:03:41.965096Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 2df2f36e-840c-48a2-8591-889f318cfe8c · outbound

This paper cites Omnisafe: An infrastructure for accelerating safe reinforcement learning research.

Designing Control Barrier Function via Probabilistic Enumeration for Safe Reinforcement Learning Navigation Omnisafe: An infrastructure for accelerating safe reinforcement learning research

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T05:03:41.952060Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 09dbf4b2-33c3-42ab-b6a5-bc8d423e52e8 · outbound

This paper cites Donti, Changliu Liu, and Enrico Marchesini.

Designing Control Barrier Function via Probabilistic Enumeration for Safe Reinforcement Learning Navigation Donti, Changliu Liu, and Enrico Marchesini

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T05:03:41.940149Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 562e829b-8412-478d-bba5-77a949bda1bd · outbound

This paper cites Intriguing properties of neural networks.

Designing Control Barrier Function via Probabilistic Enumeration for Safe Reinforcement Learning Navigation Intriguing properties of neural networks

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-16T05:03:41.642552Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a06ee7fe-791c-482f-87bf-6fa6c39dd3ea · outbound

This paper cites Verifying learning-based robotic navigation systems.

Designing Control Barrier Function via Probabilistic Enumeration for Safe Reinforcement Learning Navigation Verifying learning-based robotic navigation systems

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T05:03:41.929473Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation e41bec8e-415b-44a2-a3dd-839a5493d1cc · outbound

This paper cites Algorithms for verifying deep neural networks.

Designing Control Barrier Function via Probabilistic Enumeration for Safe Reinforcement Learning Navigation Algorithms for verifying deep neural networks

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-16T05:03:41.650449Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b9aa13f1-5722-4f63-994f-61d5b500cf5c · outbound

This paper cites Proven: Verifying robustness of neural networks with a probabilistic approach.

Designing Control Barrier Function via Probabilistic Enumeration for Safe Reinforcement Learning Navigation Proven: Verifying robustness of neural networks with a probabilistic approach

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T05:03:41.909186Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 9eb2b33f-5994-4412-befa-c902df64ab7b · outbound

This paper cites The #dnn-verification problem: Counting unsafe inputs for deep neural networks.

Designing Control Barrier Function via Probabilistic Enumeration for Safe Reinforcement Learning Navigation The #dnn-verification problem: Counting unsafe inputs for deep neural networks

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T05:03:41.895652Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 2ad8ef8f-c3ae-4478-bf92-f9f4a80d8e50 · outbound

This paper cites Enumerating safe regions in deep neural networks with provable probabilistic guarantees.

Designing Control Barrier Function via Probabilistic Enumeration for Safe Reinforcement Learning Navigation Enumerating safe regions in deep neural networks with provable probabilistic guarantees

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T05:03:41.882733Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 5142eade-c46a-48eb-96a5-d72eda9b4f7d · outbound

This paper cites Control barrier function based quadratic programs for safety critical systems.

Designing Control Barrier Function via Probabilistic Enumeration for Safe Reinforcement Learning Navigation Control barrier function based quadratic programs for safety critical systems

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-16T05:03:41.665044Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cef3d35b-c6b5-471b-81b6-7efb57d28d80 · outbound

This paper cites Safe control under input limits with neural control barrier functions.

Designing Control Barrier Function via Probabilistic Enumeration for Safe Reinforcement Learning Navigation Safe control under input limits with neural control barrier functions

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-16T05:03:41.668412Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 81fae8f7-312e-4593-8e0b-36af9a8ffcdd · outbound

This paper cites How to train your neural control barrier function: Learning safety filters for complex input-constrained systems.

Designing Control Barrier Function via Probabilistic Enumeration for Safe Reinforcement Learning Navigation How to train your neural control barrier function: Learning safety filters for complex input-constrained systems

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-16T05:03:41.671861Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c7cfac10-32b0-4e54-9aae-3fdc23451174 · outbound

This paper cites Verification of Neural Control Barrier Functions with Symbolic Derivative Bounds Propagation.

Designing Control Barrier Function via Probabilistic Enumeration for Safe Reinforcement Learning Navigation Verification of Neural Control Barrier Functions with Symbolic Derivative Bounds Propagation

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-16T05:03:41.675196Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6a2104b5-7c7c-4544-93ed-4d1ec9a603ca · outbound

This paper cites Responsive safety in reinforcement learning by pid lagrangian methods.

Designing Control Barrier Function via Probabilistic Enumeration for Safe Reinforcement Learning Navigation Responsive safety in reinforcement learning by pid lagrangian methods

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T05:03:41.845712Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation c85e8bcd-e536-4484-8486-c99c5dc5ea30 · outbound

This paper cites Safe deep reinforcement learning by verifying task-level properties.

Designing Control Barrier Function via Probabilistic Enumeration for Safe Reinforcement Learning Navigation Safe deep reinforcement learning by verifying task-level properties

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T05:03:41.830604Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation f6ca95d6-1fca-4a68-847e-a47a189231ec · outbound

This paper cites Towards aircraft autonomy using a pomdp-based planner.

Designing Control Barrier Function via Probabilistic Enumeration for Safe Reinforcement Learning Navigation Towards aircraft autonomy using a pomdp-based planner

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T05:03:41.817156Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation f4bc2e0d-5346-4b64-b47e-aa3c6ae54df7 · outbound

This paper cites Modelling the dynamics of ships with different propulsion systems for control purpose.

Designing Control Barrier Function via Probabilistic Enumeration for Safe Reinforcement Learning Navigation Modelling the dynamics of ships with different propulsion systems for control purpose

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T05:03:41.803229Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 8a0d7750-4136-4f44-ae3f-3eaa0fcd752a · outbound

This paper cites Nonlinear model predictive control.

Designing Control Barrier Function via Probabilistic Enumeration for Safe Reinforcement Learning Navigation Nonlinear model predictive control

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T05:03:41.790077Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation d9e6a386-1e77-43e7-a019-c383d4d1052c · outbound

This paper cites A smooth converse lyapunov theorem for robust stability.

Designing Control Barrier Function via Probabilistic Enumeration for Safe Reinforcement Learning Navigation A smooth converse lyapunov theorem for robust stability

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T05:03:41.776719Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 7717c565-e2fb-402e-99c4-5e29c7d5d003 · outbound

This paper cites Proximal Policy Optimization Algorithms.

Designing Control Barrier Function via Probabilistic Enumeration for Safe Reinforcement Learning Navigation Proximal Policy Optimization Algorithms

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-16T05:03:41.699382Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.