Paper Citation Record · LEDGER

Verification Framework for the Union of Control Barrier Functions

As of 17 August 2026, this Paper Citation Record lists 25 of 25 outbound references and 0 inbound Pith citation observations for arXiv:2606.07892.

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

pith.paper-citation-record.v1
2606.07892 v1

Coverage vector

measured 25 of 25 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-06-27T20:48:25.863768Z

measured 25 of 25 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-17T06:30:58.91139+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

25 of 25 outbound references displayed

verified exact2
verified fuzzy0
unresolved23
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 650f7fd6-9fac-4f3b-9d12-3bcb7913d8cf · outbound

This paper cites Set-theoretic methods in control,.

Verification Framework for the Union of Control Barrier Functions Set-theoretic methods in control,

Reference 1

Resolution: unresolved; no resolver link, observed 2026-06-27T20:48:25.863768Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 93164668-032b-4b4a-920b-7f65dfd6c725 · outbound

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

Verification Framework for the Union of Control Barrier Functions Control barrier function based quadratic programs for safety critical systems,

Reference 2

Resolution: unresolved; no resolver link, observed 2026-06-27T20:48:25.863768Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c17b0c32-2a2f-4255-aa96-913c15519d07 · outbound

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

Verification Framework for the Union of Control Barrier Functions Control barrier functions: Theory and applications,

Reference 3

Resolution: unresolved; no resolver link, observed 2026-06-27T20:48:25.863768Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 225b7ec2-84f5-4301-a556-b45212d3da2a · outbound

This paper cites Synthesis of control barrier functions using a supervised machine learning approach,.

Verification Framework for the Union of Control Barrier Functions Synthesis of control barrier functions using a supervised machine learning approach,

Reference 4

Resolution: unresolved; no resolver link, observed 2026-06-27T20:48:25.863768Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 34f4cd28-128e-440d-9312-da33faaf44a7 · outbound

This paper cites Convex synthesis and verification of control- Lyapunov and barrier functions with input constraints,.

Verification Framework for the Union of Control Barrier Functions Convex synthesis and verification of control- Lyapunov and barrier functions with input constraints,

Reference 5

Resolution: unresolved; no resolver link, observed 2026-06-27T20:48:25.863768Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 81790243-abfc-4cf6-99c5-8a4e0ff26a38 · outbound

This paper cites Barriernet: Differentiable control barrier functions for learning of safe robot control,.

Verification Framework for the Union of Control Barrier Functions Barriernet: Differentiable control barrier functions for learning of safe robot control,

Reference 6

Resolution: unresolved; no resolver link, observed 2026-06-27T20:48:25.863768Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bfdc4eb6-5e51-4c51-883b-3748aeca6021 · outbound

This paper cites Nonsmooth barrier func- tions with applications to multi-robot systems,.

Verification Framework for the Union of Control Barrier Functions Nonsmooth barrier func- tions with applications to multi-robot systems,

Reference 7

Resolution: unresolved; no resolver link, observed 2026-06-27T20:48:25.863768Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7275d3e6-ba8a-4be6-b8a9-84c264c63d76 · outbound

This paper cites Composing control barrier functions for complex safety specifications,.

Verification Framework for the Union of Control Barrier Functions Composing control barrier functions for complex safety specifications,

Reference 8

Resolution: unresolved; no resolver link, observed 2026-06-27T20:48:25.863768Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 702804a1-6745-4e8a-9036-d6503a899345 · outbound

This paper cites Safe and Stable Filter Design Using a Relaxed Compatibitlity Control Barrier -- Lyapunov Condition.

Verification Framework for the Union of Control Barrier Functions Safe and Stable Filter Design Using a Relaxed Compatibitlity Control Barrier -- Lyapunov Condition

Reference 9

Resolution: verified exact; arxiv_id, observed 2026-07-02T20:17:21.382253Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 42718e69-a70e-4f28-ada9-1009296017bd · outbound

This paper cites Neural Certificates for Safe Control Policies.

Verification Framework for the Union of Control Barrier Functions Neural Certificates for Safe Control Policies

Reference 10

Resolution: verified exact; arxiv_id, observed 2026-07-02T20:17:21.380466Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 6c5252d2-4b63-4fc8-8dba-cecb9b66602b · outbound

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

Verification Framework for the Union of Control Barrier Functions Learning control barrier functions from expert demonstrations,

Reference 11

Resolution: unresolved; no resolver link, observed 2026-06-27T20:48:25.863768Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c3e66cfd-d546-4511-952e-8ec00b5764d8 · outbound

This paper cites Safe control with learned certificates: A survey of neural lyapunov, barrier, and contraction methods for robotics and control,.

Verification Framework for the Union of Control Barrier Functions Safe control with learned certificates: A survey of neural lyapunov, barrier, and contraction methods for robotics and control,

Reference 12

Resolution: unresolved; no resolver link, observed 2026-06-27T20:48:25.863768Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e529c5a5-c043-45a5-be72-f95411cef5cd · outbound

This paper cites Exact verification of relu neural control barrier functions,.

Verification Framework for the Union of Control Barrier Functions Exact verification of relu neural control barrier functions,

Reference 13

Resolution: unresolved; no resolver link, observed 2026-06-27T20:48:25.863768Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9e774502-6bf6-4117-a5f7-6f86d9447349 · outbound

This paper cites Non-smooth control barrier functions for stochastic dynamical systems,.

Verification Framework for the Union of Control Barrier Functions Non-smooth control barrier functions for stochastic dynamical systems,

Reference 14

Resolution: unresolved; no resolver link, observed 2026-06-27T20:48:25.863768Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fe72ead2-5a1b-40e1-aaf7-6c7b5949105d · outbound

This paper cites A nonsmooth approach to controller synthesis for boolean specifications,.

Verification Framework for the Union of Control Barrier Functions A nonsmooth approach to controller synthesis for boolean specifications,

Reference 15

Resolution: unresolved; no resolver link, observed 2026-06-27T20:48:25.863768Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5593f18d-6ec3-46cf-a34d-767f7b9b4b4e · outbound

This paper cites Safety control of switched systems via multiple barrier functions,.

Verification Framework for the Union of Control Barrier Functions Safety control of switched systems via multiple barrier functions,

Reference 16

Resolution: unresolved; no resolver link, observed 2026-06-27T20:48:25.863768Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1ca6f4a9-52c7-4e7e-b1e4-801e5e5dd502 · outbound

This paper cites Verification and synthesis of control barrier functions,.

Verification Framework for the Union of Control Barrier Functions Verification and synthesis of control barrier functions,

Reference 17

Resolution: unresolved; no resolver link, observed 2026-06-27T20:48:25.863768Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a35bc806-86ec-4b3d-8535-6f97a39e4fc8 · outbound

This paper cites Regularity properties of optimization-based controllers,.

Verification Framework for the Union of Control Barrier Functions Regularity properties of optimization-based controllers,

Reference 18

Resolution: unresolved; no resolver link, observed 2026-06-27T20:48:25.863768Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7f5d91b8-f8e8-4b6e-9921-7d29a7b7c386 · outbound

This paper cites Continuity and smooth- ness properties of nonlinear optimization-based feedback controllers,.

Verification Framework for the Union of Control Barrier Functions Continuity and smooth- ness properties of nonlinear optimization-based feedback controllers,

Reference 19

Resolution: unresolved; no resolver link, observed 2026-06-27T20:48:25.863768Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 55e57a83-9eeb-4c7a-b583-2d23121d95b1 · outbound

This paper cites Characterizing safety: Minimal control barrier functions from scalar comparison systems,.

Verification Framework for the Union of Control Barrier Functions Characterizing safety: Minimal control barrier functions from scalar comparison systems,

Reference 20

Resolution: unresolved; no resolver link, observed 2026-06-27T20:48:25.863768Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b1c70c91-7d13-4cbd-a152-6625ee80616c · outbound

This paper cites Verification and synthesis of compatible control Lyapunov and control barrier functions,.

Verification Framework for the Union of Control Barrier Functions Verification and synthesis of compatible control Lyapunov and control barrier functions,

Reference 21

Resolution: unresolved; no resolver link, observed 2026-06-27T20:48:25.863768Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 97494288-3d94-4d62-8905-2ede8e8f1c74 · outbound

This paper cites Matousek and B.

Verification Framework for the Union of Control Barrier Functions Matousek and B

Reference 22

Resolution: unresolved; no resolver link, observed 2026-06-27T20:48:25.863768Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation acfa5676-4081-4407-a39e-61e72509e556 · outbound

This paper cites Introducing sostools: A general purpose sum of squares programming solver,.

Verification Framework for the Union of Control Barrier Functions Introducing sostools: A general purpose sum of squares programming solver,

Reference 23

Resolution: unresolved; no resolver link, observed 2026-06-27T20:48:25.863768Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 71d9ad08-d843-4fe2-acbd-fba82d8d04a4 · outbound

This paper cites Mosek optimizer api for python,.

Verification Framework for the Union of Control Barrier Functions Mosek optimizer api for python,

Reference 24

Resolution: unresolved; no resolver link, observed 2026-06-27T20:48:25.863768Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5973fb05-da7b-4748-932e-96054c4decef · outbound

This paper cites Liberzon,Switching in systems and control, vol.

Verification Framework for the Union of Control Barrier Functions Liberzon,Switching in systems and control, vol

Reference 25

Resolution: unresolved; no resolver link, observed 2026-06-27T20:48:25.863768Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.