Paper Citation Record · LEDGER

Replacing K-infinity Function with Leaky ReLU in Barrier Function Design: A Union of Invariant Sets Approach for ReLU-Based Dynamical Systems

As of 19 August 2026, this Paper Citation Record lists 18 of 18 outbound references and 1 inbound Pith citation observation for arXiv:2502.03765.

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

pith.paper-citation-record.v1
2502.03765 v2

Coverage vector

measured 18 of 18 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-09T00:58:43.039801Z

measured 19 of 19 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-18T06:34:40.430872+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-08-16T12:40:33.185328Z

measured 0 of 1 external citation measurements

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

Source: pith, observed 2026-08-16T12:40:33.269373Z

Reference resolution

18 of 18 outbound references displayed

verified exact0
verified fuzzy14
unresolved4
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 64961b77-78fd-4158-b0f6-722d0fe82a19 · outbound

This paper cites Sim-to-Real: Learning Agile Locomotion For Quadruped Robots.

Replacing K-infinity Function with Leaky ReLU in Barrier Function Design: A Union of Invariant Sets Approach for ReLU-Based Dynamical Systems Sim-to-Real: Learning Agile Locomotion For Quadruped Robots

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-09T00:58:42.703189Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a4a47b1d-58fc-44a3-8cbf-ac5723e0bd4f · outbound

This paper cites Backward reachability analysis of neural feedback loops: Techniques for linear and nonlinear systems,.

Replacing K-infinity Function with Leaky ReLU in Barrier Function Design: A Union of Invariant Sets Approach for ReLU-Based Dynamical Systems Backward reachability analysis of neural feedback loops: Techniques for linear and nonlinear systems,

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T00:58:43.586817Z

Source-reported events for the cited work

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

Observation 7efcb92a-2eff-4ba6-ac26-7bd33b0adcd1 · outbound

This paper cites Adversarial examples: Attacks and defenses for deep learning,.

Replacing K-infinity Function with Leaky ReLU in Barrier Function Design: A Union of Invariant Sets Approach for ReLU-Based Dynamical Systems Adversarial examples: Attacks and defenses for deep learning,

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T00:58:43.571110Z

Source-reported events for the cited work

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

Observation b70c9654-6310-40f9-82a6-3053efc7d8e5 · outbound

This paper cites Neural lyapunov control,.

Replacing K-infinity Function with Leaky ReLU in Barrier Function Design: A Union of Invariant Sets Approach for ReLU-Based Dynamical Systems Neural lyapunov control,

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T00:58:43.518365Z

Source-reported events for the cited work

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

Observation 7df05cca-9ad2-4a11-804b-37bb0686f6f1 · outbound

This paper cites Lyapunov-stable neural-network control.

Replacing K-infinity Function with Leaky ReLU in Barrier Function Design: A Union of Invariant Sets Approach for ReLU-Based Dynamical Systems Lyapunov-stable neural-network control

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-09T00:58:42.723594Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9b6bb640-9fac-4943-93f2-87f72258bac8 · outbound

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

Replacing K-infinity Function with Leaky ReLU in Barrier Function Design: A Union of Invariant Sets Approach for ReLU-Based Dynamical Systems Safe nonlinear control using robust neural lyapunov-barrier functions,

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T00:58:43.394792Z

Source-reported events for the cited work

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

Observation 1b3fd6a6-8418-44e9-87e3-cf335261dabf · outbound

This paper cites Control barrier function based quadratic programs with application to adaptive cruise control,.

Replacing K-infinity Function with Leaky ReLU in Barrier Function Design: A Union of Invariant Sets Approach for ReLU-Based Dynamical Systems Control barrier function based quadratic programs with application to adaptive cruise control,

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-09T00:58:42.732835Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e630b965-7c03-4e1e-9f48-38ce37052a16 · outbound

This paper cites Safe control synthe- sis using environmentally robust control barrier functions,.

Replacing K-infinity Function with Leaky ReLU in Barrier Function Design: A Union of Invariant Sets Approach for ReLU-Based Dynamical Systems Safe control synthe- sis using environmentally robust control barrier functions,

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T00:58:43.312348Z

Source-reported events for the cited work

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

Observation 2d7516ae-4e32-41ed-8f54-f3045dff9192 · outbound

This paper cites Safe reinforcement learning: A control barrier function optimization approach,.

Replacing K-infinity Function with Leaky ReLU in Barrier Function Design: A Union of Invariant Sets Approach for ReLU-Based Dynamical Systems Safe reinforcement learning: A control barrier function optimization approach,

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T00:58:43.239468Z

Source-reported events for the cited work

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

Observation 02a261eb-9455-4737-929a-721dcd90cc46 · outbound

This paper cites Learning for safety- critical control with control barrier functions,.

Replacing K-infinity Function with Leaky ReLU in Barrier Function Design: A Union of Invariant Sets Approach for ReLU-Based Dynamical Systems Learning for safety- critical control with control barrier functions,

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T00:58:43.224803Z

Source-reported events for the cited work

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

Observation 4e9c5d05-3ecf-4558-85fb-be76ac568e48 · outbound

This paper cites Stability analysis and controller synthesis using single-hidden-layer relu neural networks,.

Replacing K-infinity Function with Leaky ReLU in Barrier Function Design: A Union of Invariant Sets Approach for ReLU-Based Dynamical Systems Stability analysis and controller synthesis using single-hidden-layer relu neural networks,

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T00:58:43.208268Z

Source-reported events for the cited work

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

Observation bec76b43-e397-489e-aa4b-b0e3edd3bddb · outbound

This paper cites Constrained stabilization of continuous- time linear systems,.

Replacing K-infinity Function with Leaky ReLU in Barrier Function Design: A Union of Invariant Sets Approach for ReLU-Based Dynamical Systems Constrained stabilization of continuous- time linear systems,

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T00:58:43.193561Z

Source-reported events for the cited work

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

Observation bfaf410c-0a62-4246-b913-f11645180db9 · outbound

This paper cites Rakovi ´c, E.

Replacing K-infinity Function with Leaky ReLU in Barrier Function Design: A Union of Invariant Sets Approach for ReLU-Based Dynamical Systems Rakovi ´c, E

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T00:58:43.178723Z

Source-reported events for the cited work

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

Observation 9210993d-b859-4de0-9ace-5ce473e1a909 · outbound

This paper cites Invariant set estimation for piece- wise affine dynamical systems using piecewise affine barrier function,.

Replacing K-infinity Function with Leaky ReLU in Barrier Function Design: A Union of Invariant Sets Approach for ReLU-Based Dynamical Systems Invariant set estimation for piece- wise affine dynamical systems using piecewise affine barrier function,

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T00:58:43.163709Z

Source-reported events for the cited work

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

Observation 39c0cf69-ceaa-4da1-b98d-fc98e228c6d7 · outbound

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

Replacing K-infinity Function with Leaky ReLU in Barrier Function Design: A Union of Invariant Sets Approach for ReLU-Based Dynamical Systems Nonsmooth barrier func- tions with applications to multi-robot systems,

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T00:58:43.149451Z

Source-reported events for the cited work

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

Observation bb096db1-9cb0-4916-bc5e-e2eaae377687 · outbound

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

Replacing K-infinity Function with Leaky ReLU in Barrier Function Design: A Union of Invariant Sets Approach for ReLU-Based Dynamical Systems Control barrier functions: Theory and applications,

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-09T00:58:42.991574Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a4e8aff8-3ee0-4047-a594-fc02460040a7 · outbound

This paper cites Automated stability analysis of piecewise affine dynamics using vertices,.

Replacing K-infinity Function with Leaky ReLU in Barrier Function Design: A Union of Invariant Sets Approach for ReLU-Based Dynamical Systems Automated stability analysis of piecewise affine dynamics using vertices,

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T00:58:43.124894Z

Source-reported events for the cited work

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

Observation 89c4a4d6-8aff-445b-ad36-108e072908db · outbound

This paper cites Synthesizing relu neural networks with two hidden layers as barrier certificates for hybrid systems,.

Replacing K-infinity Function with Leaky ReLU in Barrier Function Design: A Union of Invariant Sets Approach for ReLU-Based Dynamical Systems Synthesizing relu neural networks with two hidden layers as barrier certificates for hybrid systems,

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T00:58:43.108071Z

Source-reported events for the cited work

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

Pith citing papers

Observation f0edc3cb-1823-4ec8-9751-f0080394b091 · inbound

SEROAISE: Advancing ROA Estimation for ReLU and PWA Dynamics through Estimating Certified Invariant Sets cites this paper.

SEROAISE: Advancing ROA Estimation for ReLU and PWA Dynamics through Estimating Certified Invariant Sets Replacing K-infinity Function with Leaky ReLU in Barrier Function Design: A Union of Invariant Sets Approach for ReLU-Based Dynamical Systems

Reference 23

Resolution: verified exact; local_arxiv, observed 2026-08-16T12:40:33.277424Z

Source-reported events for the cited work

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