Paper Citation Record · LEDGER

Stochastic Neural Control Barrier Functions

As of 11 August 2026, this Paper Citation Record lists 61 of 61 outbound references and 2 inbound Pith citation observations for arXiv:2506.21697.

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

pith.paper-citation-record.v1
2506.21697 v1

Coverage vector

measured 61 of 61 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-06T22:30:00.085770Z

measured 63 of 63 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 2 of 2 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-05-15T13:50:40.279904Z

measured 0 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-05-15T13:50:52.404704Z

Reference resolution

61 of 61 outbound references displayed

verified exact2
verified fuzzy39
unresolved20
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 7fb499ae-8b31-4365-82e4-faa6290a1c88 · outbound

This paper cites Safety critical systems: Challenges and directions,.

Stochastic Neural Control Barrier Functions Safety critical systems: Challenges and directions,

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T22:30:03.323175Z

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.

Observation 9e148c61-14dd-4540-a166-d04f7664d9f8 · outbound

This paper cites Planning and decision- making for autonomous vehicles,.

Stochastic Neural Control Barrier Functions Planning and decision- making for autonomous vehicles,

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T22:30:03.272008Z

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.

Observation 83b55916-b7aa-4f31-a1b2-6db0280f1e09 · outbound

This paper cites Learning safe, generalizable perception-based hybrid control with certificates,.

Stochastic Neural Control Barrier Functions Learning safe, generalizable perception-based hybrid control with certificates,

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T22:30:03.210378Z

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.

Observation 894b6fce-1aa3-4109-a533-c2eda155833b · outbound

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

Stochastic Neural Control Barrier Functions Control barrier functions: Theory and applications,

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T22:30:03.097430Z

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.

Observation b92cde46-0ab1-4edc-a92d-8493f69a9a89 · outbound

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

Stochastic Neural Control Barrier Functions Hamilton-jacobi reachability: A brief overview and recent advances,

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T22:30:03.002698Z

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.

Observation d00ae5b9-7110-4b74-ae95-5d2cdced10db · outbound

This paper cites A Physics-Informed Machine Learning Framework for Safe and Optimal Control of Autonomous Systems.

Stochastic Neural Control Barrier Functions A Physics-Informed Machine Learning Framework for Safe and Optimal Control of Autonomous Systems

Reference 6

Resolution: verified exact; local_arxiv, observed 2026-08-06T22:30:00.378603Z

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.

Observation 3e49835d-8dcf-4609-b4b3-b6e59fd0876b · outbound

This paper cites Robust control barrier–value functions for safety-critical control,.

Stochastic Neural Control Barrier Functions Robust control barrier–value functions for safety-critical control,

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T22:30:02.926421Z

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.

Observation 62377997-1f88-49e6-9beb-cc97608ebb27 · outbound

This paper cites Safe learning in robotics: From learning-based control to safe reinforcement learning,.

Stochastic Neural Control Barrier Functions Safe learning in robotics: From learning-based control to safe reinforcement learning,

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-06T22:29:58.846730Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 592abcd3-1ff6-47ac-8264-1c8a239324d0 · outbound

This paper cites Combining model-based design and model-free policy optimization to learn safe, stabilizing controllers,.

Stochastic Neural Control Barrier Functions Combining model-based design and model-free policy optimization to learn safe, stabilizing controllers,

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T22:30:02.823261Z

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.

Observation 10ed11ad-9e28-4bc6-b30e-8e67da3ff15e · outbound

This paper cites Lyapunov-based Safe Policy Optimization for Continuous Control.

Stochastic Neural Control Barrier Functions Lyapunov-based Safe Policy Optimization for Continuous Control

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-06T22:29:58.905303Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a1477736-a7a8-41a6-b02f-4c0d37e838e2 · outbound

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

Stochastic Neural Control Barrier Functions Control barrier function based quadratic programs with application to adaptive cruise control,

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-06T22:29:58.922110Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d9a4e2ff-94e4-456e-ba4b-75611294011b · outbound

This paper cites Formal synthesis of stochastic systems via control barrier certificates,.

Stochastic Neural Control Barrier Functions Formal synthesis of stochastic systems via control barrier certificates,

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-06T22:29:58.938149Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d3ebdf63-3842-4f54-bba8-772e26cead00 · outbound

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

Stochastic Neural Control Barrier Functions Verification and synthesis of control barrier functions,

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T22:30:02.671865Z

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.

Observation da773098-3b31-4afb-ba9e-677e3005e8c8 · outbound

This paper cites Synthesis of partially observed jump-diffusion systems via control barrier functions,.

Stochastic Neural Control Barrier Functions Synthesis of partially observed jump-diffusion systems via control barrier functions,

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T22:30:02.601255Z

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.

Observation 54fa639f-f6f6-4058-92ff-0969534fe508 · outbound

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

Stochastic Neural Control Barrier Functions Safe control with learned certificates: A survey of neural Lyapunov, barrier, and contraction methods for robotics and control,

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T22:30:02.512955Z

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.

Observation efa99bdd-e9f7-4022-b09d-49ec42b6599e · outbound

This paper cites A semi-algebraic framework for verification and synthesis of control barrier functions,.

Stochastic Neural Control Barrier Functions A semi-algebraic framework for verification and synthesis of control barrier functions,

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T22:30:02.436124Z

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.

Observation a3d9b52c-cafa-4ebb-9ae1-469a47b90841 · outbound

This paper cites Verification and synthesis of robust control barrier functions: Multilevel polynomial optimization and semidefinite relaxation,.

Stochastic Neural Control Barrier Functions Verification and synthesis of robust control barrier functions: Multilevel polynomial optimization and semidefinite relaxation,

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T22:30:02.367886Z

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.

Observation 0f447810-435f-4cff-965d-d9332f55d8f9 · outbound

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

Stochastic Neural Control Barrier Functions Convex synthesis and verification of control- lyapunov and barrier functions with input constraints,

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T22:30:02.286443Z

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.

Observation 676e68c8-fc86-4409-b458-e1b3f1a47fc0 · outbound

This paper cites A survey of end-to-end driving: Architectures and training methods,.

Stochastic Neural Control Barrier Functions A survey of end-to-end driving: Architectures and training methods,

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T22:30:02.232793Z

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.

Observation 0866f327-fc87-4e04-aac4-6333bbfc7f12 · outbound

This paper cites Physics-informed neural networks: A deep learning framework for solving forward and inverse problems involving nonlinear partial differential equations,.

Stochastic Neural Control Barrier Functions Physics-informed neural networks: A deep learning framework for solving forward and inverse problems involving nonlinear partial differential equations,

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-06T22:29:59.106446Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cd6716a1-fcf6-4b8f-b6a4-1ad14af1186e · outbound

This paper cites Deep Learning for Time-Series Analysis.

Stochastic Neural Control Barrier Functions Deep Learning for Time-Series Analysis

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-06T22:29:59.120691Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 049df2b8-c266-49d9-aa48-17ecba76d31e · outbound

This paper cites How to train your neural control barrier function: Learning safety filters for complex input-constrained systems,.

Stochastic Neural Control Barrier Functions How to train your neural control barrier function: Learning safety filters for complex input-constrained systems,

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T22:30:02.121215Z

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.

Observation 7ef22eaf-c211-46e5-a488-446edf8709ae · outbound

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

Stochastic Neural Control Barrier Functions Safe nonlinear control using robust neural Lyapunov-barrier functions,

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-06T22:29:59.169500Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 49053b63-6af5-4b17-9177-35385b58f802 · outbound

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

Stochastic Neural Control Barrier Functions Learning a formally verified control barrier function in stochastic environment,

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-06T22:29:59.184009Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ac21f594-1070-47ef-bd13-63622d69e115 · outbound

This paper cites Learning barrier functions with memory for robust safe navigation,.

Stochastic Neural Control Barrier Functions Learning barrier functions with memory for robust safe navigation,

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T22:30:02.001044Z

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.

Observation 5de1e693-a128-427d-a306-ca211e279e97 · outbound

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

Stochastic Neural Control Barrier Functions Barriernet: Differentiable control barrier functions for learning of safe robot control,

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-06T22:29:59.228779Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e8058bf3-667b-4027-9693-7f718fb4578d · outbound

This paper cites Learning safe neural network controllers with barrier certificates,.

Stochastic Neural Control Barrier Functions Learning safe neural network controllers with barrier certificates,

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T22:30:01.825507Z

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.

Observation f8982507-eaaf-4649-b110-197dae1240fb · outbound

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

Stochastic Neural Control Barrier Functions Exact verification of relu neural control barrier functions,

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T22:30:01.744341Z

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.

Observation a70a32f4-3046-44dd-8cb6-ccc18422f069 · outbound

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

Stochastic Neural Control Barrier Functions Fossil: A software tool for the formal synthesis of Lyapunov functions and barrier certificates using neural networks,

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T22:30:01.687926Z

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.

Observation 2793a5bf-01d7-433a-aefd-bfc2daa23e0c · outbound

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

Stochastic Neural Control Barrier Functions Fossil 2.0: Formal certificate synthesis for the verification and control of dynamical models,

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T22:30:01.662487Z

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.

Observation a869cb17-eb97-43a0-8c94-0bac2efc5f57 · outbound

This paper cites Design-while- verify: correct-by-construction control learning with verification in the loop,.

Stochastic Neural Control Barrier Functions Design-while- verify: correct-by-construction control learning with verification in the loop,

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T22:30:01.634752Z

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.

Observation 5350b899-2970-43b5-b8dc-3e9d2d9dc46d · outbound

This paper cites Seev: Synthesis with efficient exact verification for relu neural barrier functions,.

Stochastic Neural Control Barrier Functions Seev: Synthesis with efficient exact verification for relu neural barrier functions,

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T22:30:01.588813Z

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.

Observation 1ce63ac6-d5c9-42a3-a084-d231caf5e471 · outbound

This paper cites Set invariance in control,.

Stochastic Neural Control Barrier Functions Set invariance in control,

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-06T22:29:59.371143Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 99b74fde-9974-46cb-9e01-dd40bc6d2cfc · outbound

This paper cites Deepreach: A deep learning approach to high-dimensional reachability,.

Stochastic Neural Control Barrier Functions Deepreach: A deep learning approach to high-dimensional reachability,

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-06T22:29:59.387931Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f0cd9461-4753-4b3b-a6e5-a8b7c16a936a · outbound

This paper cites End-to-end safe reinforcement learning through barrier functions for safety-critical continuous control tasks,.

Stochastic Neural Control Barrier Functions End-to-end safe reinforcement learning through barrier functions for safety-critical continuous control tasks,

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-06T22:29:59.411192Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e18b78be-29fd-493c-bab3-977266ce6eb8 · outbound

This paper cites A framework for worst- case and stochastic safety verification using barrier certificates,.

Stochastic Neural Control Barrier Functions A framework for worst- case and stochastic safety verification using barrier certificates,

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-06T22:29:59.430270Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 76186f48-d096-409d-8326-80b7e1243b52 · outbound

This paper cites Safety index synthesis via sum-of-squares programming,.

Stochastic Neural Control Barrier Functions Safety index synthesis via sum-of-squares programming,

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T22:30:01.453939Z

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.

Observation bda07c1a-e022-4c14-82ad-3f75ecf957df · outbound

This paper cites Verification and Synthesis of Compatible Control Lyapunov and Control Barrier Functions.

Stochastic Neural Control Barrier Functions Verification and Synthesis of Compatible Control Lyapunov and Control Barrier Functions

Reference 38

Resolution: verified exact; local_arxiv, observed 2026-08-06T22:30:00.302562Z

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.

Observation 72dc166c-d9c6-435c-bbfa-f7fd0b0fb87b · outbound

This paper cites SOS construc- tion of compatible control lyapunov and barrier functions,.

Stochastic Neural Control Barrier Functions SOS construc- tion of compatible control lyapunov and barrier functions,

Reference 39

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T22:30:01.383269Z

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.

Observation ed8f3c86-9749-477e-850e-3cb9fb8df3ae · outbound

This paper cites Learning Safe Multi-Agent Control with Decentralized Neural Barrier Certificates.

Stochastic Neural Control Barrier Functions Learning Safe Multi-Agent Control with Decentralized Neural Barrier Certificates

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-06T22:29:59.543378Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2f5f1333-cf44-4efe-9f8e-5b3146214297 · outbound

This paper cites Quantifying safety of learning-based self-driving control using almost-barrier functions,.

Stochastic Neural Control Barrier Functions Quantifying safety of learning-based self-driving control using almost-barrier functions,

Reference 41

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T22:30:01.297178Z

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.

Observation 0442b094-d528-4f62-9f58-9b10474c97bc · outbound

This paper cites Safe control under input limits with neural control barrier functions,.

Stochastic Neural Control Barrier Functions Safe control under input limits with neural control barrier functions,

Reference 42

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T22:30:01.237472Z

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.

Observation 1902aecf-1596-49c6-9b7c-0c7e2f128ad3 · outbound

This paper cites Fault tolerant neural control barrier functions for robotic systems under sensor faults and attacks,.

Stochastic Neural Control Barrier Functions Fault tolerant neural control barrier functions for robotic systems under sensor faults and attacks,

Reference 43

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T22:30:01.197207Z

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.

Observation 8480e9ef-cfa5-429a-bf19-c42455dc6569 · outbound

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

Stochastic Neural Control Barrier Functions Efficient neural network robustness certification with general activation functions,

Reference 44

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T22:30:01.129278Z

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.

Observation 89b44a90-d78a-47da-94e5-1fe033a41f3f · outbound

This paper cites Automatic perturbation analysis for scalable certified robustness and beyond,.

Stochastic Neural Control Barrier Functions Automatic perturbation analysis for scalable certified robustness and beyond,

Reference 45

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T22:30:01.036197Z

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.

Observation a13c01d5-1a4e-44de-a2b9-d528003aa77c · outbound

This paper cites A convex relaxation barrier to tight robustness verification of neural networks,.

Stochastic Neural Control Barrier Functions A convex relaxation barrier to tight robustness verification of neural networks,

Reference 46

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T22:30:01.005874Z

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.

Observation b4804ac9-62b7-4066-81c6-e7bfc7719964 · outbound

This paper cites Fast and Complete: Enabling complete neural network verification with rapid and massively parallel incomplete verifiers,.

Stochastic Neural Control Barrier Functions Fast and Complete: Enabling complete neural network verification with rapid and massively parallel incomplete verifiers,

Reference 47

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T22:30:00.924751Z

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.

Observation 0770ee24-7311-42b5-956a-68c79f9c4545 · outbound

This paper cites Beta-CROWN: Efficient bound propagation with per-neuron split constraints for complete and incomplete neural network verifi- cation,.

Stochastic Neural Control Barrier Functions Beta-CROWN: Efficient bound propagation with per-neuron split constraints for complete and incomplete neural network verifi- cation,

Reference 48

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T22:30:00.831163Z

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.

Observation da79fb9e-7f93-4167-9b29-9ff404c20f73 · outbound

This paper cites A branch and bound framework for stronger adversarial attacks of ReLU networks,.

Stochastic Neural Control Barrier Functions A branch and bound framework for stronger adversarial attacks of ReLU networks,

Reference 49

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T22:30:00.765104Z

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.

Observation 3379061a-e637-4b64-b56b-fdb78f59e544 · outbound

This paper cites Verification of Neural Control Barrier Functions with Symbolic Derivative Bounds Propagation.

Stochastic Neural Control Barrier Functions Verification of Neural Control Barrier Functions with Symbolic Derivative Bounds Propagation

Reference 50

Resolution: unresolved; no resolver link, observed 2026-08-06T22:29:59.832921Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dec48e59-6d88-44f9-8b57-17ae02c3a995 · outbound

This paper cites Revuz and M.

Stochastic Neural Control Barrier Functions Revuz and M

Reference 51

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T22:30:00.713317Z

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.

Observation 9fdcb0fd-d996-4f11-9907-fa6bbc587ef7 · outbound

This paper cites Safety-critical control of stochastic systems using stochastic control barrier functions,.

Stochastic Neural Control Barrier Functions Safety-critical control of stochastic systems using stochastic control barrier functions,

Reference 52

Resolution: unresolved; no resolver link, observed 2026-08-06T22:29:59.873746Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b0aaf9a1-3a4a-4889-9570-bc6258ca53bc · outbound

This paper cites Semidefinite programming relaxations for semialgebraic problems,.

Stochastic Neural Control Barrier Functions Semidefinite programming relaxations for semialgebraic problems,

Reference 53

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T22:30:00.620191Z

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.

Observation 172fd093-b397-472f-b9f1-a029d1863981 · outbound

This paper cites Matou ˇsek and B.

Stochastic Neural Control Barrier Functions Matou ˇsek and B

Reference 54

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T22:30:00.542719Z

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.

Observation aab4304d-0733-41cf-bda3-7051eedd45da · outbound

This paper cites Almost-Sure Safety Guarantees of Stochastic Zero-Control Barrier Functions Do Not Hold.

Stochastic Neural Control Barrier Functions Almost-Sure Safety Guarantees of Stochastic Zero-Control Barrier Functions Do Not Hold

Reference 55

Resolution: unresolved; no resolver link, observed 2026-08-06T22:29:59.949014Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1c2ef7ff-fdc7-46cc-b0b3-fa36bf8f5421 · outbound

This paper cites Training robust neural networks using lipschitz bounds,.

Stochastic Neural Control Barrier Functions Training robust neural networks using lipschitz bounds,

Reference 56

Resolution: unresolved; no resolver link, observed 2026-08-06T22:29:59.968189Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3a75a8b6-956b-4258-9916-a0197e35efce · outbound

This paper cites Constructive feedforward neural networks using hermite polynomial activation functions,.

Stochastic Neural Control Barrier Functions Constructive feedforward neural networks using hermite polynomial activation functions,

Reference 57

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T22:30:00.486815Z

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.

Observation a12b80a0-234a-4c1a-8a92-0ba5d252c237 · outbound

This paper cites Karatzas and S.

Stochastic Neural Control Barrier Functions Karatzas and S

Reference 58

Resolution: unresolved; no resolver link, observed 2026-08-06T22:30:00.002991Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0cc74113-b628-400e-ae84-b31faf373ea6 · outbound

This paper cites an unresolved cited work.

Stochastic Neural Control Barrier Functions Unresolved cited work

Reference 59

Resolution: unresolved; raw_fallback, observed 2026-08-06T22:30:00.456962Z

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.

Observation e76ab0ce-3cd4-4efb-bc5c-cd5429398ee9 · outbound

This paper cites Darboux-type barrier certificates for safety verification of nonlinear hybrid systems,.

Stochastic Neural Control Barrier Functions Darboux-type barrier certificates for safety verification of nonlinear hybrid systems,

Reference 60

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T22:30:00.432163Z

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.

Observation 7f556e10-7437-4410-8e09-3ffefbc16074 · outbound

This paper cites Safety verification of reactive controllers for uav flight in cluttered environments using barrier certificates,.

Stochastic Neural Control Barrier Functions Safety verification of reactive controllers for uav flight in cluttered environments using barrier certificates,

Reference 61

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T22:30:00.405416Z

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.

Pith citing papers

Observation 6089ded3-d32f-4d1b-a7b6-4b2b3d243ba5 · inbound

Safety-critical Control Under Partial Observability: Reach-Avoid POMDP meets Belief Space Control cites this paper.

Safety-critical Control Under Partial Observability: Reach-Avoid POMDP meets Belief Space Control Stochastic Neural Control Barrier Functions

Reference 51

Resolution: verified exact; arxiv_id, observed 2026-05-15T13:50:52.412824Z

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.

Observation ffdac881-0af7-4239-817e-398d93ed5e6f · inbound

Almost Sure Reachability in Continuous-time Stochastic Systems cites this paper.

Almost Sure Reachability in Continuous-time Stochastic Systems Stochastic Neural Control Barrier Functions

Reference 14

Resolution: verified exact; arxiv_id, observed 2026-05-12T10:56:30.202282Z

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.