Paper Citation Record · LEDGER

What Are the Odds? Improving the foundations of Statistical Model Checking

As of 11 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 4 inbound Pith citation observations for arXiv:2404.05424.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2404.05424 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-11T06:34:44.6726+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-10T22:46:05.622737Z

measured 0 of 1 external citation measurements

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 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-11T06:34:44.6726+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-11T06:34:44.6726+00:00.