Paper Citation Record · LEDGER

Importance Sampling for Statistical Certification of Viable Initial Sets

As of 10 August 2026, this Paper Citation Record lists 33 of 33 outbound references and 0 inbound Pith citation observations for arXiv:2604.02939.

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

pith.paper-citation-record.v1
2604.02939 v1

Coverage vector

measured 33 of 33 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-05-13T19:44:02.726536Z

measured 33 of 33 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-10T06:31:04.303077+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

33 of 33 outbound references displayed

verified exact1
verified fuzzy29
unresolved3
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 69f07c3f-228f-4e79-a9fd-45f8aed23991 · outbound

This paper cites Set invariance in control.

Importance Sampling for Statistical Certification of Viable Initial Sets Set invariance in control

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-05-14T02:49:56.594561Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 906ed48a-b56a-4a66-9847-67e8720ffbea · outbound

This paper cites Safety verification of hybrid systems us- ing barrier certificates.

Importance Sampling for Statistical Certification of Viable Initial Sets Safety verification of hybrid systems us- ing barrier certificates

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-05-14T02:49:56.633779Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 3016108d-a505-43c5-94fc-e3a9b5cf0cc1 · outbound

This paper cites A time-dependent Hamilton–Jacobi formulation of reachable sets for continuous dynamic games.

Importance Sampling for Statistical Certification of Viable Initial Sets A time-dependent Hamilton–Jacobi formulation of reachable sets for continuous dynamic games

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-05-14T02:49:56.674269Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 56a9374f-d2ef-4d30-a28d-edd6922473d0 · outbound

This paper cites an unresolved cited work.

Importance Sampling for Statistical Certification of Viable Initial Sets Unresolved cited work

Reference 4

Resolution: unresolved; raw_fallback, observed 2026-05-14T02:49:56.625197Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation d70af064-9eea-40e5-891f-3c37be1f377b · outbound

This paper cites Aubin,Viability Theory, 2nd ed.

Importance Sampling for Statistical Certification of Viable Initial Sets Aubin,Viability Theory, 2nd ed

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-05-14T02:49:56.607456Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 6f27e6c1-be21-4fa6-b613-5552efad32ab · outbound

This paper cites Tabuada,Verification and Control of Hybrid Systems: A Symbolic Approach.

Importance Sampling for Statistical Certification of Viable Initial Sets Tabuada,Verification and Control of Hybrid Systems: A Symbolic Approach

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-05-14T02:49:56.716611Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation cb36c0d3-d7c3-4506-9abf-fc7694501097 · outbound

This paper cites Belta, B.

Importance Sampling for Statistical Certification of Viable Initial Sets Belta, B

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-05-14T02:49:56.695018Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation e9277d89-60f5-4faf-9339-51327b6306a7 · outbound

This paper cites Funnel libraries for real-time robust feedback motion planning.

Importance Sampling for Statistical Certification of Viable Initial Sets Funnel libraries for real-time robust feedback motion planning

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-05-14T02:49:56.651044Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 52e5ad2e-7702-4630-9e15-c7d00fbd5316 · outbound

This paper cites Simulation-Based Approaches for Verification of Embedded Control Systems: An Overview of Traditional and Advanced Modeling, Test- ing, and Verification Techniques.

Importance Sampling for Statistical Certification of Viable Initial Sets Simulation-Based Approaches for Verification of Embedded Control Systems: An Overview of Traditional and Advanced Modeling, Test- ing, and Verification Techniques

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-05-14T02:49:56.638639Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 94335b3a-69d8-4bf9-8fbf-b73fd0763638 · outbound

This paper cites Testing Cyber-Physical Systems through Bayesian Optimization.

Importance Sampling for Statistical Certification of Viable Initial Sets Testing Cyber-Physical Systems through Bayesian Optimization

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-05-14T02:49:56.725337Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 6f246a65-13fe-4867-867a-6971502bb8a2 · outbound

This paper cites Falsification-Based Robust Ad- versarial Reinforcement Learning.

Importance Sampling for Statistical Certification of Viable Initial Sets Falsification-Based Robust Ad- versarial Reinforcement Learning

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-05-14T02:49:56.611648Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 2f4828bc-de80-4db2-9ff9-f482eade212a · outbound

This paper cites Falsification via Barrier Certificates.

Importance Sampling for Statistical Certification of Viable Initial Sets Falsification via Barrier Certificates

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-05-14T02:49:56.598728Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 5404d672-8073-42fd-8cb8-59706f086565 · outbound

This paper cites The Probabilistic Model Checking Landscape.

Importance Sampling for Statistical Certification of Viable Initial Sets The Probabilistic Model Checking Landscape

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-05-14T02:49:56.669671Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation bb105da6-d23d-42e7-bb02-39bf9c94f827 · outbound

This paper cites PRISM: A Tool for Automatic Verification of Probabilistic Systems.

Importance Sampling for Statistical Certification of Viable Initial Sets PRISM: A Tool for Automatic Verification of Probabilistic Systems

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-05-14T02:49:56.657573Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 23774189-29bd-432a-95bb-bed401639991 · outbound

This paper cites A Survey of Algorithms for Black-Box Safety Validation of Cyber- Physical Systems.

Importance Sampling for Statistical Certification of Viable Initial Sets A Survey of Algorithms for Black-Box Safety Validation of Cyber- Physical Systems

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-05-14T02:49:56.629341Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 56eff52b-1db2-4c11-b7a5-12387fdd9d40 · outbound

This paper cites Scalable End-to-End Autonomous Vehicle Testing via Rare-event Simulation.

Importance Sampling for Statistical Certification of Viable Initial Sets Scalable End-to-End Autonomous Vehicle Testing via Rare-event Simulation

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-05-14T02:49:56.654337Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation ec746cf5-cb4b-47a2-9ce8-a54d7693add6 · outbound

This paper cites Improving Aircraft Collision Risk Estimation Using the Cross-Entropy Method.

Importance Sampling for Statistical Certification of Viable Initial Sets Improving Aircraft Collision Risk Estimation Using the Cross-Entropy Method

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-05-14T02:49:56.712245Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation bf466ea9-df40-4100-b246-cfb3a9c86975 · outbound

This paper cites Failure Proba- bility Estimation for Black-Box Autonomous Systems using State- Dependent Importance Sampling Proposals.

Importance Sampling for Statistical Certification of Viable Initial Sets Failure Proba- bility Estimation for Black-Box Autonomous Systems using State- Dependent Importance Sampling Proposals

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-05-14T02:49:56.615908Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 0131db4e-6a08-46c4-830d-bc883bce90d0 · outbound

This paper cites A theory of the learnable.

Importance Sampling for Statistical Certification of Viable Initial Sets A theory of the learnable

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-05-14T02:49:56.687061Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation d393bd07-9c60-4a9a-b8cc-3e70e35a0e7f · outbound

This paper cites Randomized Strategies for Probabilistic Solutions of Uncertain Feasibility and Optimization Problems.

Importance Sampling for Statistical Certification of Viable Initial Sets Randomized Strategies for Probabilistic Solutions of Uncertain Feasibility and Optimization Problems

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-05-14T02:49:56.620978Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation d8c8c0dd-5cd1-4540-8633-fe0eec2bb885 · outbound

This paper cites Tutorial on Practical Prediction Theory for Classifica- tion.

Importance Sampling for Statistical Certification of Viable Initial Sets Tutorial on Practical Prediction Theory for Classifica- tion

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-05-14T02:49:56.703474Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 72a3e6b1-32db-4b97-8a86-a1a6c07c519f · outbound

This paper cites Tempo, G.

Importance Sampling for Statistical Certification of Viable Initial Sets Tempo, G

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-05-14T02:49:56.690998Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 7259dd09-d1f2-42a3-92e5-5c7e579999f9 · outbound

This paper cites an unresolved cited work.

Importance Sampling for Statistical Certification of Viable Initial Sets Unresolved cited work

Reference 23

Resolution: unresolved; raw_fallback, observed 2026-05-14T02:49:56.720690Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 1b8c20c8-c7ea-4d80-9fb5-c6716ee3e895 · outbound

This paper cites Probability Inequalities for Sums of Bounded Random Variables.

Importance Sampling for Statistical Certification of Viable Initial Sets Probability Inequalities for Sums of Bounded Random Variables

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-05-14T02:49:56.678505Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation b0d725c1-de1f-4bc8-bfec-a7779776c6f6 · outbound

This paper cites Probability Inequalities for the Sum of Independent Random Variables.

Importance Sampling for Statistical Certification of Viable Initial Sets Probability Inequalities for the Sum of Independent Random Variables

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-05-14T02:49:56.682891Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 43d930e8-2ddd-4c18-9856-cc64bc0fa966 · outbound

This paper cites Empirical Bernstein Bounds and Sample Variance Penalization.

Importance Sampling for Statistical Certification of Viable Initial Sets Empirical Bernstein Bounds and Sample Variance Penalization

Reference 26

Resolution: verified exact; local_arxiv, observed 2026-05-13T19:48:11.507968Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation d66c180a-fd34-40ff-8460-589d75629f94 · outbound

This paper cites an unresolved cited work.

Importance Sampling for Statistical Certification of Viable Initial Sets Unresolved cited work

Reference 27

Resolution: unresolved; raw_fallback, observed 2026-05-14T02:49:56.699124Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 15aee85d-f4bd-4f45-b1b3-45c4b31e31c7 · outbound

This paper cites Importance sampling: a review.

Importance Sampling for Statistical Certification of Viable Initial Sets Importance sampling: a review

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-05-14T02:49:56.602851Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 26c1aa59-d5e9-4fc7-a510-d15f42daa1f1 · outbound

This paper cites Weighted Average Importance Sampling and Defensive Mixture Distributions.

Importance Sampling for Statistical Certification of Viable Initial Sets Weighted Average Importance Sampling and Defensive Mixture Distributions

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-05-14T02:49:56.643079Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 8ba42534-1593-4fae-aec8-89525972601a · outbound

This paper cites Safe and Effective Importance Sam- pling.

Importance Sampling for Statistical Certification of Viable Initial Sets Safe and Effective Importance Sam- pling

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-05-14T02:49:56.707809Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 7014a551-eb89-441c-a3fd-16536c3e6b9b · outbound

This paper cites Monte Carlo and quasi-Monte Carlo methods.

Importance Sampling for Statistical Certification of Viable Initial Sets Monte Carlo and quasi-Monte Carlo methods

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-05-14T02:49:56.665646Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 486d8c78-2ccd-425d-86a6-47c30a59710b · outbound

This paper cites Data-driven reachable set computation using adaptive Gaussian process classification and Monte Carlo meth- ods.

Importance Sampling for Statistical Certification of Viable Initial Sets Data-driven reachable set computation using adaptive Gaussian process classification and Monte Carlo meth- ods

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-05-14T02:49:56.661369Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation eb9c8e55-a8bd-4ea8-9292-e982f9242f73 · outbound

This paper cites Meyer, A.

Importance Sampling for Statistical Certification of Viable Initial Sets Meyer, A

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-05-14T02:49:56.647264Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Pith citing papers

No inbound Pith citation observations are available.