Paper Citation Record · LEDGER

Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation

As of 5 August 2026, this Paper Citation Record lists 42 of 42 outbound references and 2 inbound Pith citation observations for arXiv:2511.06341.

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

pith.paper-citation-record.v1
2511.06341 v2

Coverage vector

measured 42 of 42 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-05-17T23:35:02.582866Z

measured 44 of 44 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-05T06:32:48.257954+00:00

measured 2 of 2 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-06-29T16:19:18.692686Z

measured 0 of 1 external citation measurements

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

Source: pith, observed 2026-06-29T16:23:39.420462Z

Reference resolution

42 of 42 outbound references displayed

verified exact32
verified fuzzy6
unresolved0
parse uncertain0
malformed identifier0
metadata mismatch4

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 73e92c17-3214-46d9-b202-81a9013b580e · outbound

This paper cites Counterexample guided inductive synthesis modulo theories.

Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation Counterexample guided inductive synthesis modulo theories

Reference 1

Resolution: verified exact; doi, observed 2026-05-17T23:35:31.330304Z

Source-reported events for the cited work

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

Observation 0979ce0b-25df-40ca-9ca3-a313191882c7 · outbound

This paper cites FOSSIL: a software tool for the formal synthesis of L yapunov functions and barrier certificates using neural networks.

Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation FOSSIL: a software tool for the formal synthesis of L yapunov functions and barrier certificates using neural networks

Reference 2

Resolution: verified exact; arxiv_id, observed 2026-05-17T23:35:31.419772Z

Source-reported events for the cited work

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

Observation 130b93f0-d7cb-471e-a85b-9331b43f69ca · outbound

This paper cites Formal synthesis of lyapunov neural networks.

Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation Formal synthesis of lyapunov neural networks

Reference 3

Resolution: verified exact; arxiv_id, observed 2026-05-17T23:35:31.383572Z

Source-reported events for the cited work

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

Observation 12912cf2-3a05-4f04-b729-169c3720bc0e · outbound

This paper cites Discrete control barrier functions for safety-critical control of discrete systems with application to bipedal robot navigation.

Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation Discrete control barrier functions for safety-critical control of discrete systems with application to bipedal robot navigation

Reference 4

Resolution: verified exact; doi, observed 2026-05-17T23:35:31.427974Z

Source-reported events for the cited work

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

Observation 63454fc5-21d9-4ee1-80e0-bc8ddbd6479f · outbound

This paper cites Ames, Jessy W.

Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation Ames, Jessy W

Reference 5

Resolution: verified exact; arxiv_id, observed 2026-05-17T23:35:31.424726Z

Source-reported events for the cited work

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

Observation 85dd6f65-de01-4514-b3d5-1c5a1d7bc991 · outbound

This paper cites Ames, Xiangru Xu, Jessy W.

Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation Ames, Xiangru Xu, Jessy W

Reference 6

Resolution: verified exact; arxiv_id, observed 2026-05-17T23:35:31.344546Z

Source-reported events for the cited work

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

Observation d6831ef3-e449-4264-9389-6fe98b8f35a1 · outbound

This paper cites Control barrier functions: Theory and ap- plications.

Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation Control barrier functions: Theory and ap- plications

Reference 7

Resolution: metadata mismatch; arxiv_id, observed 2026-05-17T23:35:31.396759Z

Source-reported events for the cited work

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

Observation 75a7105d-802a-47ec-a635-d17785106e4a · outbound

This paper cites Policy verification in stochastic dynamical systems using logarithmic neural certificates.

Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation Policy verification in stochastic dynamical systems using logarithmic neural certificates

Reference 8

Resolution: verified exact; doi, observed 2026-05-17T23:35:31.369068Z

Source-reported events for the cited work

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

Observation 8212ffb6-f063-4bcc-8d4e-d9d0fff5ff0d · outbound

This paper cites Barry, Anirudha Majumdar, and Russ Tedrake.

Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation Barry, Anirudha Majumdar, and Russ Tedrake

Reference 9

Resolution: verified exact; arxiv_id, observed 2026-05-17T23:35:31.411914Z

Source-reported events for the cited work

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

Observation 9badfd3f-b35e-4aed-95ee-95faf0ce2ac8 · outbound

This paper cites Robust control barrier functions under high relative degree and input constraints for satellite trajectories.

Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation Robust control barrier functions under high relative degree and input constraints for satellite trajectories

Reference 10

Resolution: verified exact; arxiv_id, observed 2026-05-17T23:35:31.404790Z

Source-reported events for the cited work

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

Observation e5c1447b-c356-4285-a2b9-97f54e5eae4d · outbound

This paper cites author Fält, M.

Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation author Fält, M

Reference 11

Resolution: metadata mismatch; arxiv_id, observed 2026-05-17T23:35:31.392009Z

Source-reported events for the cited work

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

Observation b739ae93-d008-4c8c-ad32-8a50cb9b3065 · outbound

This paper cites Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, and Helmut Veith.

Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, and Helmut Veith

Reference 12

Resolution: verified exact; arxiv_id, observed 2026-05-17T23:35:31.377384Z

Source-reported events for the cited work

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

Observation c4de4f78-336e-4069-96c2-9849150beed3 · outbound

This paper cites Discrete differential geometry: An applied introduction.

Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation Discrete differential geometry: An applied introduction

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-05-17T23:35:31.649018Z

Source-reported events for the cited work

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

Observation 792b62d1-0804-4e52-9283-04c1f3d22929 · outbound

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

Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation Safe control with learned certificates: A survey of neural lyapunov, barrier, and contraction methods for robotics and control

Reference 14

Resolution: verified exact; arxiv_id, observed 2026-05-17T23:35:31.416061Z

Source-reported events for the cited work

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

Observation 38d47cb4-4bfb-4482-b4a7-6e771481e0c7 · outbound

This paper cites Automatic abstraction refinement for timed automata.

Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation Automatic abstraction refinement for timed automata

Reference 15

Resolution: verified exact; doi, observed 2026-05-17T23:35:31.386577Z

Source-reported events for the cited work

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

Observation 18718ad5-1299-46e1-a702-3b046168bbab · outbound

This paper cites Fossil 2.0: Formal certificate synthesis for the verification and control of dynamical models.

Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation Fossil 2.0: Formal certificate synthesis for the verification and control of dynamical models

Reference 16

Resolution: verified exact; arxiv_id, observed 2026-05-17T23:35:31.348989Z

Source-reported events for the cited work

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

Observation 76e87d90-438b-4e4d-85c1-496d1c5685bb · outbound

This paper cites Pawan Kumar.

Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation Pawan Kumar

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-05-17T23:35:31.659989Z

Source-reported events for the cited work

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

Observation ba58f564-4e78-406c-8e0f-7b6322cf3d5e · outbound

This paper cites [GM25] Jorge Gallego-Hernández and Alessio Mansutti.

Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation [GM25] Jorge Gallego-Hernández and Alessio Mansutti

Reference 18

Resolution: verified exact; doi, observed 2026-05-17T23:35:31.333795Z

Source-reported events for the cited work

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

Observation a383fd6c-1110-4d7b-9c8e-86319da1dcf0 · outbound

This paper cites Annual Review of Control, Robotics, and Autonomous Systems7(2024).https://doi.org/10.1146/ANNUREV-CONTROL-071723-102940.

Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation Annual Review of Control, Robotics, and Autonomous Systems7(2024).https://doi.org/10.1146/ANNUREV-CONTROL-071723-102940

Reference 19

Resolution: verified exact; doi, observed 2026-05-17T23:35:31.352286Z

Source-reported events for the cited work

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

Observation 7ab3616a-4c73-4960-9b2f-0a12b85e6833 · outbound

This paper cites Verification of neural control barrier functions with symbolic derivative bounds propagation.

Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation Verification of neural control barrier functions with symbolic derivative bounds propagation

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-05-17T23:35:31.651787Z

Source-reported events for the cited work

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

Observation 77e5be9b-37d8-4812-b224-506ce6816464 · outbound

This paper cites Parameter synthesis for markov models: covering the parameter space.

Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation Parameter synthesis for markov models: covering the parameter space

Reference 21

Resolution: verified exact; doi, observed 2026-05-17T23:35:31.434568Z

Source-reported events for the cited work

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

Observation 85a2a4b3-da01-4408-a0e2-bafd8e70268d · outbound

This paper cites Kimura and S.

Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation Kimura and S

Reference 22

Resolution: verified exact; arxiv_id, observed 2026-05-17T23:35:31.361328Z

Source-reported events for the cited work

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

Observation 67a9d0b7-c2a4-4a63-a3b1-f5d83cb4e05f · outbound

This paper cites Abstraction of elementary hybrid systems by variable transformation.

Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation Abstraction of elementary hybrid systems by variable transformation

Reference 23

Resolution: verified exact; doi, observed 2026-05-17T23:35:31.379930Z

Source-reported events for the cited work

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

Observation 0c84aaea-f929-4734-8ff8-4a5249b88ed8 · outbound

This paper cites Calvert, and Luca Laurenti.

Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation Calvert, and Luca Laurenti

Reference 24

Resolution: verified exact; arxiv_id, observed 2026-05-17T23:35:31.447423Z

Source-reported events for the cited work

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

Observation 76c6347a-894f-49a6-a254-7cf9b786e961 · outbound

This paper cites Certified Neural Approximations of Nonlinear Dynamics.

Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation Certified Neural Approximations of Nonlinear Dynamics

Reference 25

Resolution: verified exact; arxiv_id, observed 2026-06-04T02:07:03.548092Z

Source-reported events for the cited work

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

Observation 035b252f-fc39-4707-8ce2-2b739f34617b · outbound

This paper cites Mathematical Programming 10(1), 147–175 (1976).

Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation Mathematical Programming 10(1), 147–175 (1976)

Reference 26

Resolution: verified exact; doi, observed 2026-05-17T23:35:31.399708Z

Source-reported events for the cited work

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

Observation 4c5ac330-842f-4768-98c5-893a08fdada4 · outbound

This paper cites Automated and formal synthesis of neural barrier certificates for dynamical models.

Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation Automated and formal synthesis of neural barrier certificates for dynamical models

Reference 27

Resolution: verified exact; doi, observed 2026-05-17T23:35:31.430881Z

Source-reported events for the cited work

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

Observation 67753185-b15f-4805-8d90-b327f7cfecae · outbound

This paper cites Barrier certificates for nonlinear model validation.

Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation Barrier certificates for nonlinear model validation

Reference 28

Resolution: verified exact; doi, observed 2026-05-17T23:35:31.319574Z

Source-reported events for the cited work

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

Observation e2ed5642-34a6-4827-80e1-7f47181c0367 · outbound

This paper cites In: ACM/IEEE Design Automation Con- ference.

Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation In: ACM/IEEE Design Automation Con- ference

Reference 29

Resolution: metadata mismatch; arxiv_id, observed 2026-05-17T23:35:31.357194Z

Source-reported events for the cited work

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

Observation 4e721b49-c0ff-443a-b00f-8556d8bfffce · outbound

This paper cites Control barrier functions for mechanical systems: Theory and application to robotic grasping.

Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation Control barrier functions for mechanical systems: Theory and application to robotic grasping

Reference 30

Resolution: verified exact; arxiv_id, observed 2026-05-17T23:35:31.323878Z

Source-reported events for the cited work

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

Observation 6483fcab-8bfd-44cf-a937-eda65fd24857 · outbound

This paper cites Neural network verification with branch-and-bound for general nonlinearities.

Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation Neural network verification with branch-and-bound for general nonlinearities

Reference 31

Resolution: verified exact; doi, observed 2026-05-17T23:35:31.438383Z

Source-reported events for the cited work

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

Observation 8d69bd99-5b89-4f61-86ba-4efa0516db58 · outbound

This paper cites Series of abstractions for hybrid automata.

Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation Series of abstractions for hybrid automata

Reference 32

Resolution: verified exact; doi, observed 2026-05-17T23:35:31.327008Z

Source-reported events for the cited work

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

Observation 5fac1544-3457-45c8-8e10-aa8410593ff9 · outbound

This paper cites Wabersich, Andrew J.

Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation Wabersich, Andrew J

Reference 33

Resolution: verified exact; arxiv_id, observed 2026-05-17T23:35:31.365986Z

Source-reported events for the cited work

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

Observation d4da94e4-5c18-4116-aabf-797e2ad0b0ce · outbound

This paper cites Assessing Safety for Control Systems Using Sum -of- Squares Programming.

Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation Assessing Safety for Control Systems Using Sum -of- Squares Programming

Reference 34

Resolution: verified exact; doi, observed 2026-05-17T23:35:31.407914Z

Source-reported events for the cited work

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

Observation d936e2dc-7f78-40c5-ac08-45df5c31a18e · outbound

This paper cites Robust explanation constraints for neural networks.

Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation Robust explanation constraints for neural networks

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-05-17T23:35:31.657310Z

Source-reported events for the cited work

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

Observation 5c3dde77-0375-4c83-bbda-8853fe2bb885 · outbound

This paper cites High-order control barrier functions.

Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation High-order control barrier functions

Reference 36

Resolution: verified exact; arxiv_id, observed 2026-05-17T23:35:31.443226Z

Source-reported events for the cited work

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

Observation 49e7fa20-cf68-400f-a0fc-1c0aa7a4b2e2 · outbound

This paper cites Locally optimal reach set over-approximation for nonlinear systems.

Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation Locally optimal reach set over-approximation for nonlinear systems

Reference 37

Resolution: metadata mismatch; arxiv_id, observed 2026-05-17T23:35:31.338855Z

Source-reported events for the cited work

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

Observation 7033a872-be27-4c3d-b029-6408990dc9db · outbound

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

Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation Exact verification of relu neural control barrier functions

Reference 38

Resolution: verified fuzzy; raw_fallback, observed 2026-05-17T23:35:31.646345Z

Source-reported events for the cited work

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

Observation 3d76cff2-e7f2-492d-b4a4-54c43434f2fc · outbound

This paper cites Efficient neural network robustness certification with general activation functions.

Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation Efficient neural network robustness certification with general activation functions

Reference 39

Resolution: verified fuzzy; raw_fallback, observed 2026-05-17T23:35:31.654513Z

Source-reported events for the cited work

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

Observation 96eb45f9-a846-4b54-9615-d34bf28ee9d0 · outbound

This paper cites Synthesizing barrier certificates using neural networks.

Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation Synthesizing barrier certificates using neural networks

Reference 40

Resolution: verified exact; arxiv_id, observed 2026-05-17T23:35:31.307402Z

Source-reported events for the cited work

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

Observation a61ce879-347d-478f-a955-070e109948d9 · outbound

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

Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation Verifying neural network controlled systems using neural networks

Reference 41

Resolution: verified exact; arxiv_id, observed 2026-05-17T23:35:31.295672Z

Source-reported events for the cited work

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

Observation a39e20d3-d260-4ad5-b192-dc819421c673 · outbound

This paper cites Henzinger, and Krishnendu Chatterjee.

Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation Henzinger, and Krishnendu Chatterjee

Reference 42

Resolution: verified exact; doi, observed 2026-05-17T23:35:31.311687Z

Source-reported events for the cited work

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

Pith citing papers

Observation 4d414bd8-3b8c-46c1-92e1-cdd7e9f7f749 · inbound

Efficient Verification of Neural Control Barrier Functions with Smooth Nonlinear Activations cites this paper.

Efficient Verification of Neural Control Barrier Functions with Smooth Nonlinear Activations Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation

Reference 51

Resolution: metadata mismatch; local_arxiv, observed 2026-05-11T03:05:53.039208Z

Source-reported events for the cited work

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

Observation 04b00fcb-a082-453d-a1f8-58fd1d63d225 · inbound

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial cites this paper.

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation

Reference 36

Resolution: verified exact; local_arxiv, observed 2026-06-29T16:23:39.421657Z

Source-reported events for the cited work

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