Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links
Paper Citation Record · LEDGER
Safety and Liveness Guarantees through Reach-Avoid Reinforcement Learning
As of 19 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 5 inbound Pith citation observations for arXiv:2112.12288.
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-19T06:32:44.657259+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-08-16T04:10:32.496744Z
A source-named dated measurement, never combined with another source.
Source: pith, observed 2026-07-10T15:57:20.798076Z
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 c6a2671a-89ae-4803-b660-73c15264de37 · inbound
Backstepping Reach-avoid Controller Synthesis for Multi-input Multi-output Systems with Mixed Relative Degrees cites this paper.
Backstepping Reach-avoid Controller Synthesis for Multi-input Multi-output Systems with Mixed Relative Degrees Safety and Liveness Guarantees through Reach-Avoid Reinforcement Learning
Reference 23
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T23:57:07.248094Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 5b630215-5077-4a02-825a-d92edf89e9c4 · inbound
Bridging Model Predictive Control and Deep Learning for Scalable Reachability Analysis cites this paper.
Bridging Model Predictive Control and Deep Learning for Scalable Reachability Analysis Safety and Liveness Guarantees through Reach-Avoid Reinforcement Learning
Reference 17
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T04:10:32.496744Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 942378ca-8b8b-4192-88bc-5b2e2eb00cd5 · inbound
From Refusal to Recovery: A Control-Theoretic Approach to Generative AI Guardrails cites this paper.
From Refusal to Recovery: A Control-Theoretic Approach to Generative AI Guardrails Safety and Liveness Guarantees through Reach-Avoid Reinforcement Learning
Reference 52
- Resolution
- verified exact
- arxiv_id, observed 2026-05-21T20:44:21.989956Z
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 5078d552-e910-41ca-b3c3-f90505b9b6e6 · inbound
ShardNet: Training Neural Controllers with Hard, Non-Convex Constraints cites this paper.
ShardNet: Training Neural Controllers with Hard, Non-Convex Constraints Safety and Liveness Guarantees through Reach-Avoid Reinforcement Learning
Reference 52
- Resolution
- verified exact
- arxiv_id, observed 2026-07-01T13:05:44.238276Z
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 cbc12ae6-415d-4988-906a-cd44175655b8 · inbound
Reachability-Preserving Bellman Operator for the Discounted Reach-Cost Value Function: Uniting Hamilton-Jacobi Reachability and Reinforcement Learning cites this paper.
Reachability-Preserving Bellman Operator for the Discounted Reach-Cost Value Function: Uniting Hamilton-Jacobi Reachability and Reinforcement Learning Safety and Liveness Guarantees through Reach-Avoid Reinforcement Learning
Reference 15
- Resolution
- verified exact
- local_arxiv, observed 2026-07-10T15:57:20.799854Z
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.