Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links
Paper Citation Record · LEDGER
Learning a Formally Verified Control Barrier Function in Stochastic Environment
As of 8 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 3 inbound Pith citation observations for arXiv:2403.19332.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-08T06:32:00.761636+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-08-06T17:04:54.992321Z
A source-named dated measurement, never combined with another source.
Source: arxiv_reference, observed 2026-05-11T03:05:53.083449Z
Reference resolution
0 of 0 outbound references displayed
- verified exact0
- verified fuzzy0
- unresolved0
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
No outbound reference observations are available for this paper version.
Pith citing papers
Observation 16106853-d925-49da-b5da-e67d1d96c214 · inbound
Formal Verification of Neural Certificates Done Dynamically cites this paper.
Formal Verification of Neural Certificates Done Dynamically Learning a Formally Verified Control Barrier Function in Stochastic Environment
Reference 30
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T17:04:54.992321Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b7ff126d-1b4d-404c-b0ba-c0b7d780ccc9 · inbound
Safety Certification in the Latent space using Control Barrier Functions and World Models cites this paper.
Safety Certification in the Latent space using Control Barrier Functions and World Models Learning a Formally Verified Control Barrier Function in Stochastic Environment
Reference 15
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T16:20:59.445391Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation a200f604-e2aa-4a08-b193-d1b5146774a5 · 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 Learning a Formally Verified Control Barrier Function in Stochastic Environment
Reference 25
- Resolution
- verified exact
- arxiv_id, observed 2026-05-11T03:05:53.085944Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.