Paper Citation Record · LEDGER

CPED-NCBFs: A Conformal Prediction for Expert Demonstration-based Neural Control Barrier Functions

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

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

pith.paper-citation-record.v1
2507.15022 v1

Coverage vector

measured 22 of 22 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-06T15:49:12.165303Z

measured 22 of 22 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-08T06:32:00.761636+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

22 of 22 outbound references displayed

verified exact2
verified fuzzy18
unresolved2
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation bd2cfc7c-9180-4100-9fc9-f8d77b179de6 · outbound

This paper cites Constrained policy op- timization,.

CPED-NCBFs: A Conformal Prediction for Expert Demonstration-based Neural Control Barrier Functions Constrained policy op- timization,

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T15:49:17.739264Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 3e9c2f9f-03a8-4358-83ba-073e3b0c3007 · outbound

This paper cites Model-based safe deep reinforcement learning via a constrained proximal policy optimization algorithm,.

CPED-NCBFs: A Conformal Prediction for Expert Demonstration-based Neural Control Barrier Functions Model-based safe deep reinforcement learning via a constrained proximal policy optimization algorithm,

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T15:49:17.473405Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 73429cda-990c-4bc0-8349-54aacf400fcc · outbound

This paper cites Safe model-based reinforcement learning with stability guarantees,.

CPED-NCBFs: A Conformal Prediction for Expert Demonstration-based Neural Control Barrier Functions Safe model-based reinforcement learning with stability guarantees,

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T15:49:17.156722Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 421a8e8d-f900-472f-881b-b10a54f27faf · outbound

This paper cites Hamilton-Jacobi reachability: A brief overview and recent advances,.

CPED-NCBFs: A Conformal Prediction for Expert Demonstration-based Neural Control Barrier Functions Hamilton-Jacobi reachability: A brief overview and recent advances,

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T15:49:16.938477Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation f0d27cda-0c1b-481a-ba5a-71f4c5fa91ac · outbound

This paper cites A physics- informed machine learning framework for safe and optimal control of autonomous systems,.

CPED-NCBFs: A Conformal Prediction for Expert Demonstration-based Neural Control Barrier Functions A physics- informed machine learning framework for safe and optimal control of autonomous systems,

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T15:49:16.699490Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 8dba06a3-c2e6-425a-94a4-8b3c48aa3ec1 · outbound

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

CPED-NCBFs: A Conformal Prediction for Expert Demonstration-based Neural Control Barrier Functions Control barrier function based quadratic programs for safety critical systems,

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T15:49:16.319694Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 722c5341-998f-4e0c-b834-066b014a95d0 · outbound

This paper cites Control barrier functions: Theory and applications,.

CPED-NCBFs: A Conformal Prediction for Expert Demonstration-based Neural Control Barrier Functions Control barrier functions: Theory and applications,

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T15:49:15.990642Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation c1953a68-0684-4e9e-857f-b1caed4dfb55 · outbound

This paper cites Safety-critical control of a planar quadrotor,.

CPED-NCBFs: A Conformal Prediction for Expert Demonstration-based Neural Control Barrier Functions Safety-critical control of a planar quadrotor,

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T15:49:15.667280Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 2326aec9-1462-4424-b62d-d5f4a64fdf1b · outbound

This paper cites Control barrier functions in dynamic uavs for kinematic obstacle avoidance: A col- lision cone approach,.

CPED-NCBFs: A Conformal Prediction for Expert Demonstration-based Neural Control Barrier Functions Control barrier functions in dynamic uavs for kinematic obstacle avoidance: A col- lision cone approach,

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T15:49:15.325193Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 7c5c8f73-dde7-4b2c-9894-dd790370561b · outbound

This paper cites Safety-critical control for dy- namical bipedal walking with precise footstep placement,.

CPED-NCBFs: A Conformal Prediction for Expert Demonstration-based Neural Control Barrier Functions Safety-critical control for dy- namical bipedal walking with precise footstep placement,

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T15:49:15.028508Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 1d2f282b-211d-42db-a650-8fea902cd01f · outbound

This paper cites Safe Legged Locomotion using Collision Cone Control Barrier Functions (C3BFs).

CPED-NCBFs: A Conformal Prediction for Expert Demonstration-based Neural Control Barrier Functions Safe Legged Locomotion using Collision Cone Control Barrier Functions (C3BFs)

Reference 11

Resolution: verified exact; local_arxiv, observed 2026-08-06T15:49:12.873815Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 94794003-effa-4dbb-bd3a-7f6c10e7d77b · outbound

This paper cites Fossil: A software tool for the formal synthesis of Lyapunov functions and barrier certificates using neural networks,.

CPED-NCBFs: A Conformal Prediction for Expert Demonstration-based Neural Control Barrier Functions Fossil: A software tool for the formal synthesis of Lyapunov functions and barrier certificates using neural networks,

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T15:49:14.496131Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation b0a8282f-c786-4839-9f6c-346859127868 · outbound

This paper cites Learning a formally verified control barrier function in stochastic environment,.

CPED-NCBFs: A Conformal Prediction for Expert Demonstration-based Neural Control Barrier Functions Learning a formally verified control barrier function in stochastic environment,

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T15:49:14.285436Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation a139ef7a-a2ee-4a43-95f5-cc1de0458f1d · outbound

This paper cites Learning control barrier functions from expert demonstrations,.

CPED-NCBFs: A Conformal Prediction for Expert Demonstration-based Neural Control Barrier Functions Learning control barrier functions from expert demonstrations,

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T15:49:13.973487Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 5fe9abc0-bacc-4900-8eed-e25a9c0355c8 · outbound

This paper cites Safe nonlinear control using robust neural lyapunov-barrier functions,.

CPED-NCBFs: A Conformal Prediction for Expert Demonstration-based Neural Control Barrier Functions Safe nonlinear control using robust neural lyapunov-barrier functions,

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T15:49:13.734454Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 3d5b2b90-7a8b-4460-8218-7432a185766b · outbound

This paper cites Semi-Supervised Safe Visuomotor Policy Synthesis using Barrier Certificates.

CPED-NCBFs: A Conformal Prediction for Expert Demonstration-based Neural Control Barrier Functions Semi-Supervised Safe Visuomotor Policy Synthesis using Barrier Certificates

Reference 17

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0dbe3365-041e-4bde-9d5a-b428d206a34a · outbound

This paper cites Verifying neural network controlled systems using neural networks,.

CPED-NCBFs: A Conformal Prediction for Expert Demonstration-based Neural Control Barrier Functions Verifying neural network controlled systems using neural networks,

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T15:49:13.471628Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

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

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

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 38714dcf-f986-4977-81fd-6ebc1cead719 · outbound

This paper cites Genosil: Generalized optimal and safe robot control using parameter-conditioned imitation learning,.

CPED-NCBFs: A Conformal Prediction for Expert Demonstration-based Neural Control Barrier Functions Genosil: Generalized optimal and safe robot control using parameter-conditioned imitation learning,

Reference 20

Resolution: verified exact; raw_fallback, observed 2026-08-06T15:49:12.617092Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 93d47b66-2f07-4d25-a962-ba8cd5176ba1 · outbound

This paper cites Safe nonlinear control using robust neural Lyapunov-barrier functions,.

CPED-NCBFs: A Conformal Prediction for Expert Demonstration-based Neural Control Barrier Functions Safe nonlinear control using robust neural Lyapunov-barrier functions,

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T15:49:13.220331Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 50442050-ddaf-45a5-9d51-efb920b1e745 · outbound

This paper cites Synthesizing barrier certifi- cates using neural networks,.

CPED-NCBFs: A Conformal Prediction for Expert Demonstration-based Neural Control Barrier Functions Synthesizing barrier certifi- cates using neural networks,

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T15:49:14.766457Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 06b39704-116c-4c74-9b9a-4e161d296b16 · outbound

This paper cites Learning control barrier functions from expert demonstrations,.

CPED-NCBFs: A Conformal Prediction for Expert Demonstration-based Neural Control Barrier Functions Learning control barrier functions from expert demonstrations,

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T15:49:13.061941Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Pith citing papers

No inbound Pith citation observations are available.