Paper Citation Record · LEDGER

Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificates

As of 19 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 7 inbound Pith citation observations for arXiv:2405.14058.

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

pith.paper-citation-record.v1
2405.14058 v2

Coverage vector

measured 0 of 0 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links

measured 7 of 7 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-19T06:32:44.657259+00:00

measured 7 of 7 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-16T12:40:25.470724Z

measured 0 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-05-18T22:41:53.754612Z

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 9441940c-cd1c-4c03-8702-77184dfa520a · inbound

Neural Continuous-Time Supermartingale Certificates cites this paper.

Neural Continuous-Time Supermartingale Certificates Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificates

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-11T05:37:30.523436Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d88ec5fe-37c5-425a-a9d1-d8ab1a1057c4 · inbound

Neural Network Verification is a Programming Language Challenge cites this paper.

Neural Network Verification is a Programming Language Challenge Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificates

Reference 93

Resolution: unresolved; no resolver link, observed 2026-08-10T21:09:22.413272Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d9174d3a-b917-4b5f-af30-27fa31e1070f · inbound

Proof-Carrying Neuro-Symbolic Code cites this paper.

Proof-Carrying Neuro-Symbolic Code Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificates

Reference 45

Resolution: unresolved; no resolver link, observed 2026-08-16T12:40:25.470724Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e4a75ff3-c179-4ce9-a6ae-72a51e0b3566 · inbound

A Review On Safe Reinforcement Learning Using Lyapunov and Barrier Functions cites this paper.

A Review On Safe Reinforcement Learning Using Lyapunov and Barrier Functions Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificates

Reference 112

Resolution: verified exact; arxiv_id, observed 2026-05-18T22:41:53.758197Z

Source-reported events for the cited work

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

Observation dcd11161-96b9-4ed7-9898-2760526a7ab6 · inbound

Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems cites this paper.

Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificates

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-04T18:14:35.976992Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 483ccd45-8b7d-4221-883f-d834aeae08e9 · 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 Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificates

Reference 18

Resolution: metadata mismatch; arxiv_id, observed 2026-05-11T03:05:53.048034Z

Source-reported events for the cited work

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

Observation 57fda006-b0a9-408c-aa06-3ae2440458c1 · inbound

Mining Verdict Boundaries for Neural Network Verification cites this paper.

Mining Verdict Boundaries for Neural Network Verification Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificates

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-03T16:43:39.617482Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.