Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links
Paper Citation Record · LEDGER
Sound Statistical Model Checking for Probabilities and Expected Rewards (extended version)
As of 20 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 3 inbound Pith citation observations for arXiv:2411.00559.
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-15T19:58:31.508313Z
A source-named dated measurement, never combined with another source.
Source: arxiv_reference, observed 2026-07-04T20:30:07.510878Z
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 4728a5a3-cda6-4e23-b744-f13e94655d29 · inbound
Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata cites this paper.
Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata Sound Statistical Model Checking for Probabilities and Expected Rewards (extended version)
Reference 10
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T19:58:31.508313Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c52dd0f5-5d2a-4423-8fe3-5a67d77a5d9a · inbound
Time-Sensitive Importance Splitting cites this paper.
Time-Sensitive Importance Splitting Sound Statistical Model Checking for Probabilities and Expected Rewards (extended version)
Reference 14
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T18:40:12.352927Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 52cdfb1d-efb5-4351-be16-a61a1d698db3 · inbound
Confidence Sequences for Online Statistical Model Checking of Markov Decision Processes cites this paper.
Confidence Sequences for Online Statistical Model Checking of Markov Decision Processes Sound Statistical Model Checking for Probabilities and Expected Rewards (extended version)
Reference 19
- Resolution
- verified exact
- arxiv_id, observed 2026-07-04T20:30:07.512677Z
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.