Paper Citation Record · LEDGER

Is Your Safe Controller Actually Safe? A Critical Review of CBF Tautologies and Hidden Assumptions

As of 11 August 2026, this Paper Citation Record lists 20 of 20 outbound references and 1 inbound Pith citation observation for arXiv:2603.06954.

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

pith.paper-citation-record.v1
2603.06954 v2

Coverage vector

measured 20 of 20 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-02T18:43:47.274887Z

measured 21 of 21 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-11T06:34:44.6726+00:00

measured 1 of 1 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-06-26T10:59:44.035262Z

measured 0 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-07-04T08:49:41.813274Z

Reference resolution

20 of 20 outbound references displayed

verified exact0
verified fuzzy0
unresolved20
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 3dd05d3c-468b-4dc2-a3d6-a52ec0f8ee63 · outbound

This paper cites Control Barrier Functions: Theory and Applications,.

Is Your Safe Controller Actually Safe? A Critical Review of CBF Tautologies and Hidden Assumptions Control Barrier Functions: Theory and Applications,

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-02T18:43:45.280361Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4443d374-803b-47ab-802a-44953ff09d5e · outbound

This paper cites Reformulations of Quadratic Programs for Lipschitz Continuity,.

Is Your Safe Controller Actually Safe? A Critical Review of CBF Tautologies and Hidden Assumptions Reformulations of Quadratic Programs for Lipschitz Continuity,

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-02T18:43:45.446269Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation de689a37-5797-4870-80f8-9434a8ef3451 · outbound

This paper cites How to Adapt Control Barrier Functions? A Learning-Based Approach with Applications to a VTOL Quadplane,.

Is Your Safe Controller Actually Safe? A Critical Review of CBF Tautologies and Hidden Assumptions How to Adapt Control Barrier Functions? A Learning-Based Approach with Applications to a VTOL Quadplane,

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-02T18:43:45.603885Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 11c42c50-53a7-413b-aebd-4362311a4199 · outbound

This paper cites Safe Learning in Robotics: From Learning-Based Control to Safe Reinforcement Learning,.

Is Your Safe Controller Actually Safe? A Critical Review of CBF Tautologies and Hidden Assumptions Safe Learning in Robotics: From Learning-Based Control to Safe Reinforcement Learning,

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-02T18:43:45.701044Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3b47522a-38fc-4d82-9c7c-e5b11232de13 · outbound

This paper cites Borrelli, A.

Is Your Safe Controller Actually Safe? A Critical Review of CBF Tautologies and Hidden Assumptions Borrelli, A

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-02T18:43:45.836837Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9430cc6a-0292-4bf8-8a93-9d67e90c9fae · outbound

This paper cites A general Hamilton- Jacobi framework for non-linear state-constrained control problems,.

Is Your Safe Controller Actually Safe? A Critical Review of CBF Tautologies and Hidden Assumptions A general Hamilton- Jacobi framework for non-linear state-constrained control problems,

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-02T18:43:45.931606Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 70fa5fc3-c50e-4703-9cef-b5debaf63016 · outbound

This paper cites Robust Control Barrier–Value Functions for Safety-Critical Control,.

Is Your Safe Controller Actually Safe? A Critical Review of CBF Tautologies and Hidden Assumptions Robust Control Barrier–Value Functions for Safety-Critical Control,

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-02T18:43:46.073515Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cbefdf46-02e4-47b0-ab18-2cb02173c9c2 · outbound

This paper cites Semidefinite programming relaxations for semialgebraic problems,.

Is Your Safe Controller Actually Safe? A Critical Review of CBF Tautologies and Hidden Assumptions Semidefinite programming relaxations for semialgebraic problems,

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-02T18:43:46.194902Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 58a389d5-2357-4e22-b55f-b9a20b35bd24 · outbound

This paper cites Correctness Guarantees for the Composition of Lane Keeping and Adaptive Cruise Control,.

Is Your Safe Controller Actually Safe? A Critical Review of CBF Tautologies and Hidden Assumptions Correctness Guarantees for the Composition of Lane Keeping and Adaptive Cruise Control,

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-02T18:43:46.279659Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6d8c566c-8099-498b-a056-81c8142446fa · outbound

This paper cites Rate-Tunable Control Barrier Functions: Methods and Algorithms for Online Adaptation,.

Is Your Safe Controller Actually Safe? A Critical Review of CBF Tautologies and Hidden Assumptions Rate-Tunable Control Barrier Functions: Methods and Algorithms for Online Adaptation,

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-02T18:43:46.408957Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f943ccec-1794-45f9-9065-4e03a618d65a · outbound

This paper cites Learning to Refine Input Constrained Control Barrier Functions via Uncertainty-Aware Online Parameter Adaptation,.

Is Your Safe Controller Actually Safe? A Critical Review of CBF Tautologies and Hidden Assumptions Learning to Refine Input Constrained Control Barrier Functions via Uncertainty-Aware Online Parameter Adaptation,

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-02T18:43:46.496315Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7009d1ca-69a2-4c32-9014-b53b5cd44f34 · outbound

This paper cites Beyond Collision Cones: Dynamic Obstacle Avoidance for Nonholonomic Robots via Dynamic Parabolic Control Barrier Functions,.

Is Your Safe Controller Actually Safe? A Critical Review of CBF Tautologies and Hidden Assumptions Beyond Collision Cones: Dynamic Obstacle Avoidance for Nonholonomic Robots via Dynamic Parabolic Control Barrier Functions,

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-02T18:43:46.590873Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 847e43f1-2f90-4208-aff6-a1b0cd2c81b1 · outbound

This paper cites Visibility-Aware RRT* for Safety-Critical Navigation of Perception-Limited Robots in Unknown Environments,.

Is Your Safe Controller Actually Safe? A Critical Review of CBF Tautologies and Hidden Assumptions Visibility-Aware RRT* for Safety-Critical Navigation of Perception-Limited Robots in Unknown Environments,

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-02T18:43:46.738271Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2e441ae5-e4d6-464c-afb5-5f43da2edbed · outbound

This paper cites Safe Trajectories for Autonomous Ren- dezvous of Spacecraft,.

Is Your Safe Controller Actually Safe? A Critical Review of CBF Tautologies and Hidden Assumptions Safe Trajectories for Autonomous Ren- dezvous of Spacecraft,

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-02T18:43:46.852952Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9b2ddef7-46b9-4a83-8568-62eb8ff1d57f · outbound

This paper cites A Sampling Based Approach to Spacecraft Autonomous Maneuvering with Safety Spec- ifications,.

Is Your Safe Controller Actually Safe? A Critical Review of CBF Tautologies and Hidden Assumptions A Sampling Based Approach to Spacecraft Autonomous Maneuvering with Safety Spec- ifications,

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-02T18:43:46.966085Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cccf3c4d-ace9-4ea9-9a56-609a7a716f57 · outbound

This paper cites Comparative Analysis of Control Barrier Functions and Artificial Potential Fields for Obstacle Avoidance,.

Is Your Safe Controller Actually Safe? A Critical Review of CBF Tautologies and Hidden Assumptions Comparative Analysis of Control Barrier Functions and Artificial Potential Fields for Obstacle Avoidance,

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-02T18:43:47.029628Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cc84c396-f929-471e-874b-110297e1a3d7 · outbound

This paper cites Control Barrier Functions for Systems with High Relative Degree,.

Is Your Safe Controller Actually Safe? A Critical Review of CBF Tautologies and Hidden Assumptions Control Barrier Functions for Systems with High Relative Degree,

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-02T18:43:47.089758Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b176109a-7cb8-4a74-b332-c7df36b4d81c · outbound

This paper cites Safe Control Synthesis via Input Constrained Control Barrier Functions,.

Is Your Safe Controller Actually Safe? A Critical Review of CBF Tautologies and Hidden Assumptions Safe Control Synthesis via Input Constrained Control Barrier Functions,

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-02T18:43:47.152978Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f07852de-90e4-48c1-a08c-b6aa6ccf9c10 · outbound

This paper cites Discrete-Time Control Barrier Function: High-Order Case and Adaptive Case,.

Is Your Safe Controller Actually Safe? A Critical Review of CBF Tautologies and Hidden Assumptions Discrete-Time Control Barrier Function: High-Order Case and Adaptive Case,

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-02T18:43:47.197749Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 421efa70-a312-4c83-9ad4-463c44d40d37 · outbound

This paper cites CVXPY: A Python-Embedded Modeling Language for Convex Optimization,.

Is Your Safe Controller Actually Safe? A Critical Review of CBF Tautologies and Hidden Assumptions CVXPY: A Python-Embedded Modeling Language for Convex Optimization,

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-02T18:43:47.274887Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

Observation a5f69054-2056-4649-956e-aa45e2c57bf4 · inbound

Any-Body Guard: Universal Safeguarding for Manipulation Policies via Action Masking cites this paper.

Any-Body Guard: Universal Safeguarding for Manipulation Policies via Action Masking Is Your Safe Controller Actually Safe? A Critical Review of CBF Tautologies and Hidden Assumptions

Reference 29

Resolution: verified exact; arxiv_id, observed 2026-07-24T01:23:07.040932Z

Source-reported events for the cited work

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