Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links
Paper Citation Record · LEDGER
What Are the Odds? Improving the foundations of Statistical Model Checking
As of 18 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 5 inbound Pith citation observations for arXiv:2404.05424.
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-18T06:34:40.430872+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-08-12T18:40:09.458247Z
A source-named dated measurement, never combined with another source.
Source: arxiv_reference, observed 2026-05-12T06:16:24.956187Z
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 723a219e-c525-4374-a744-3de942ff10d7 · inbound
Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet cites this paper.
Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet What Are the Odds? Improving the foundations of Statistical Model Checking
Reference 90
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T18:40:09.458247Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 0fed0301-0f8e-400f-961a-145f4f69857a · inbound
Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems cites this paper.
Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems What Are the Odds? Improving the foundations of Statistical Model Checking
Reference 40
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T22:46:05.622737Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 34d19de4-970d-4d7f-a950-5fb8d3241eaa · inbound
Data-Efficient Safe Policy Improvement Using Parametric Structure cites this paper.
Data-Efficient Safe Policy Improvement Using Parametric Structure What Are the Odds? Improving the foundations of Statistical Model Checking
Reference 28
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T15:42:40.196787Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c7a542bb-b2c1-4d81-b687-faf16186749e · inbound
Safety Certification is Classification cites this paper.
Safety Certification is Classification What Are the Odds? Improving the foundations of Statistical Model Checking
Reference 55
- Resolution
- verified exact
- arxiv_id, observed 2026-05-11T19:56:09.163905Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 9405cccf-dfc8-46fc-925f-b6206280bdd8 · inbound
Robust Probabilistic Shielding for Safe Offline Reinforcement Learning cites this paper.
Robust Probabilistic Shielding for Safe Offline Reinforcement Learning What Are the Odds? Improving the foundations of Statistical Model Checking
Reference 30
- Resolution
- verified exact
- arxiv_id, observed 2026-05-12T06:16:24.963391Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.