Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links
Paper Citation Record · LEDGER
Probabilistic Reachability Analysis of Stochastic Control Systems
As of 19 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 3 inbound Pith citation observations for arXiv:2407.12225.
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-08T13:32:27.421716Z
A source-named dated measurement, never combined with another source.
Source: arxiv_reference, observed 2026-05-17T02:11:26.366407Z
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 cb883d42-9f2b-4979-aa59-562707dba44c · inbound
Safety Verification of Stochastic Systems under Signal Temporal Logic Specifications cites this paper.
Safety Verification of Stochastic Systems under Signal Temporal Logic Specifications Probabilistic Reachability Analysis of Stochastic Control Systems
Reference 27
- Resolution
- unresolved
- no resolver link, observed 2026-08-08T13:32:27.421716Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 9caddd26-3b6f-4b99-8031-b2c989c35e53 · inbound
Statistical-Symbolic Verification of Perception-Based Autonomous Systems using State-Dependent Conformal Prediction cites this paper.
Statistical-Symbolic Verification of Perception-Based Autonomous Systems using State-Dependent Conformal Prediction Probabilistic Reachability Analysis of Stochastic Control Systems
Reference 35
- Resolution
- verified exact
- arxiv_id, observed 2026-05-17T02:11:26.369613Z
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 f158dcf3-3a95-48ef-bc6d-5cf535e627c7 · inbound
Perron-Frobenius Contractive Operator Matching for Data-Driven Reachable Fault Identification and Recovery cites this paper.
Perron-Frobenius Contractive Operator Matching for Data-Driven Reachable Fault Identification and Recovery Probabilistic Reachability Analysis of Stochastic Control Systems
Reference 16
- Resolution
- verified exact
- arxiv_id, observed 2026-05-10T10:24:21.554010Z
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.