Paper Citation Record · LEDGER

CP-NCBF: A Conformal Prediction-based Approach to Synthesize Verified Neural Control Barrier Functions

As of 8 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 10 inbound Pith citation observations for arXiv:2503.17395.

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

pith.paper-citation-record.v1
2503.17395 v2

Coverage vector

measured 0 of 0 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links

measured 10 of 10 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-07T06:34:17.273281+00:00

measured 10 of 10 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-06T18:02:30.820193Z

measured 1 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-08-05T02:28:24.338817Z

Reference resolution

0 of 0 outbound references displayed

verified exact0
verified fuzzy0
unresolved0
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

0
arxiv_reference, observed 2026-08-05T02:28:24.338817Z

Outbound references

No outbound reference observations are available for this paper version.

Pith citing papers

Observation 1a915bad-b880-4df3-ab32-9d4fbbfaf13c · inbound

A Fixed Parameter Tractable Approach for Solving the Vertex Cover Problem in Polynomial Time Complexity cites this paper.

A Fixed Parameter Tractable Approach for Solving the Vertex Cover Problem in Polynomial Time Complexity CP-NCBF: A Conformal Prediction-based Approach to Synthesize Verified Neural Control Barrier Functions

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-06T18:02:30.820193Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3ac2bd9f-4f06-4ec1-a294-b19c282be5c2 · inbound

Safety Certification in the Latent space using Control Barrier Functions and World Models cites this paper.

Safety Certification in the Latent space using Control Barrier Functions and World Models CP-NCBF: A Conformal Prediction-based Approach to Synthesize Verified Neural Control Barrier Functions

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-06T16:20:59.528043Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4dea168a-1db1-4728-bb88-2356db8e612c · inbound

Safe and Performant Controller Synthesis using Gradient-based Model Predictive Control and Control Barrier Functions cites this paper.

Safe and Performant Controller Synthesis using Gradient-based Model Predictive Control and Control Barrier Functions CP-NCBF: A Conformal Prediction-based Approach to Synthesize Verified Neural Control Barrier Functions

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-06T16:23:10.202007Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0a790eb1-8c69-4224-9b7c-daf4e63d8ebf · inbound

Fixed time convergence guarantees for Higher Order Control Barrier Functions cites this paper.

Fixed time convergence guarantees for Higher Order Control Barrier Functions CP-NCBF: A Conformal Prediction-based Approach to Synthesize Verified Neural Control Barrier Functions

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-06T16:22:20.543202Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 26b3c51a-6d41-466d-b557-cdf9d3b78099 · inbound

CPED-NCBFs: A Conformal Prediction for Expert Demonstration-based Neural Control Barrier Functions cites this paper.

CPED-NCBFs: A Conformal Prediction for Expert Demonstration-based Neural Control Barrier Functions CP-NCBF: A Conformal Prediction-based Approach to Synthesize Verified Neural Control Barrier Functions

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-06T15:49:11.736529Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation afe7c7b6-2772-4bf5-8f7a-c06c5f1922d0 · inbound

MAD-PINN: A Decentralized Physics-Informed Machine Learning Framework for Safe and Optimal Multi-Agent Control cites this paper.

MAD-PINN: A Decentralized Physics-Informed Machine Learning Framework for Safe and Optimal Multi-Agent Control CP-NCBF: A Conformal Prediction-based Approach to Synthesize Verified Neural Control Barrier Functions

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-04T14:42:46.647382Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 518d45e8-22d2-4c4a-ad4c-c4c220c58a3f · inbound

Equalized Coverage in Motion Control Performance Prediction for Self-Adaptive Road Vehicles cites this paper.

Equalized Coverage in Motion Control Performance Prediction for Self-Adaptive Road Vehicles CP-NCBF: A Conformal Prediction-based Approach to Synthesize Verified Neural Control Barrier Functions

Reference 35

Resolution: verified exact; arxiv_id, observed 2026-05-20T04:48:03.728412Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation c2c2c15a-a4a6-4cde-a1bd-46f6e403a19f · inbound

k-Inductive Neural Barrier Certificates for Unknown Nonlinear Dynamics cites this paper.

k-Inductive Neural Barrier Certificates for Unknown Nonlinear Dynamics CP-NCBF: A Conformal Prediction-based Approach to Synthesize Verified Neural Control Barrier Functions

Reference 10

Resolution: metadata mismatch; arxiv_id, observed 2026-05-20T03:43:02.233703Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 52b89ffd-c52c-4997-910c-97d76c50d769 · inbound

Robust Conformal CBF and CLF Controllers via Iterative Policy Updates cites this paper.

Robust Conformal CBF and CLF Controllers via Iterative Policy Updates CP-NCBF: A Conformal Prediction-based Approach to Synthesize Verified Neural Control Barrier Functions

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-02T11:26:57.624867Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 49d2cfa1-904b-4c15-b201-796746dad86a · inbound

HJ-SafeDMP: Hamilton-Jacobi Reachability-Guided Dynamic Movement Primitives for Provably Safe Robot Motion cites this paper.

HJ-SafeDMP: Hamilton-Jacobi Reachability-Guided Dynamic Movement Primitives for Provably Safe Robot Motion CP-NCBF: A Conformal Prediction-based Approach to Synthesize Verified Neural Control Barrier Functions

Reference 54

Resolution: verified exact; arxiv_id, observed 2026-06-30T09:34:34.833496Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.