Paper Citation Record · LEDGER

Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificates

As of 8 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 4 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 4 of 4 standing notices

One-hop event checks from named stored sources.

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

measured 4 of 4 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-04T18:14:35.976992Z

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 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-08T06:32:00.761636+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-08T06:32:00.761636+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.