Paper Citation Record · LEDGER

Formal Verification and Control with Conformal Prediction

As of 9 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 21 inbound Pith citation observations for arXiv:2409.00536.

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

pith.paper-citation-record.v1
2409.00536 v3

Coverage vector

measured 0 of 0 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links

measured 21 of 21 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-09T06:31:02.800959+00:00

measured 21 of 21 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-09T11:54:20.986647Z

measured 0 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-07-02T15:27:05.478207Z

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 0f0f7514-a65a-4554-81d0-3fcd2fa557ce · inbound

Decision Theoretic Foundations for Conformal Prediction: Optimal Uncertainty Quantification for Risk-Averse Agents cites this paper.

Decision Theoretic Foundations for Conformal Prediction: Optimal Uncertainty Quantification for Risk-Averse Agents Formal Verification and Control with Conformal Prediction

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-09T11:54:20.986647Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cb533544-0013-47f2-be5d-4b6478dbffaf · inbound

Predictive Red Teaming: Breaking Policies Without Breaking Robots cites this paper.

Predictive Red Teaming: Breaking Policies Without Breaking Robots Formal Verification and Control with Conformal Prediction

Reference 47

Resolution: unresolved; no resolver link, observed 2026-08-08T15:04:10.902791Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 65fa2e09-f166-4a77-b923-e67e14fbf167 · inbound

PCA-DDReach: Efficient Statistical Reachability Analysis of Stochastic Dynamical Systems via Principal Component Analysis cites this paper.

PCA-DDReach: Efficient Statistical Reachability Analysis of Stochastic Dynamical Systems via Principal Component Analysis Formal Verification and Control with Conformal Prediction

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-07T15:33:25.161183Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 264c4327-4853-41e6-a909-1499522e25e0 · inbound

Statistical Guarantees in Data-Driven Nonlinear Control: Conformal Robustness for Stability and Safety cites this paper.

Statistical Guarantees in Data-Driven Nonlinear Control: Conformal Robustness for Stability and Safety Formal Verification and Control with Conformal Prediction

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-07T06:06:08.035110Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1c087888-e7a1-41a8-9293-11a9523fc034 · inbound

Conformal Safety Shielding for Imperfect-Perception Agents cites this paper.

Conformal Safety Shielding for Imperfect-Perception Agents Formal Verification and Control with Conformal Prediction

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-07T04:19:37.419496Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f3576ec9-0906-418e-be71-d2a76f4fc06a · inbound

Conformal Contraction for Robust Nonlinear Control with Distribution-Free Uncertainty Quantification cites this paper.

Conformal Contraction for Robust Nonlinear Control with Distribution-Free Uncertainty Quantification Formal Verification and Control with Conformal Prediction

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-06T16:28:20.027427Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9bd75e7f-96e7-4eb9-87dd-874a2ce15e0c · inbound

Multi-Agent Path Finding Among Dynamic Uncontrollable Agents with Statistical Safety Guarantees cites this paper.

Multi-Agent Path Finding Among Dynamic Uncontrollable Agents with Statistical Safety Guarantees Formal Verification and Control with Conformal Prediction

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-06T11:58:18.201657Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 92ab07e4-1d27-4e5c-bad4-559b34318402 · inbound

Conformal Predictive Monitoring for Multi-Modal Scenarios cites this paper.

Conformal Predictive Monitoring for Multi-Modal Scenarios Formal Verification and Control with Conformal Prediction

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-05T12:44:35.057861Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a158342f-e8a9-4a86-a00a-03ad7cbb3e95 · inbound

pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis cites this paper.

pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis Formal Verification and Control with Conformal Prediction

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-04T00:33:30.910027Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4ccc62c2-2e05-4d3b-bb7b-0483425ba122 · inbound

Efficient Quantification of Time-Series Prediction Error: Optimal Selection Conformal Prediction cites this paper.

Efficient Quantification of Time-Series Prediction Error: Optimal Selection Conformal Prediction Formal Verification and Control with Conformal Prediction

Reference 6

Resolution: metadata mismatch; arxiv_id, observed 2026-05-18T00:50:33.430515Z

Source-reported events for the cited work

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

Observation ba82094f-4a72-412d-80d1-09cfe73790ca · inbound

Safe Planning in Interactive Environments via Iterative Policy Updates and Adversarially Robust Conformal Prediction cites this paper.

Safe Planning in Interactive Environments via Iterative Policy Updates and Adversarially Robust Conformal Prediction Formal Verification and Control with Conformal Prediction

Reference 22

Resolution: metadata mismatch; arxiv_id, observed 2026-05-17T22:15:21.957625Z

Source-reported events for the cited work

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

Observation c9863d31-1e71-4f02-ad2b-259426cb0ddd · inbound

Enhancing Conformal Prediction via Class Similarity cites this paper.

Enhancing Conformal Prediction via Class Similarity Formal Verification and Control with Conformal Prediction

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-03T20:36:40.067491Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a791bb76-e447-4a48-9950-58212eef6a69 · 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 Formal Verification and Control with Conformal Prediction

Reference 44

Resolution: verified exact; arxiv_id, observed 2026-05-17T02:11:26.384348Z

Source-reported events for the cited work

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

Observation 56b04acd-bc4c-42f0-a7b8-492cffef139d · inbound

Probably Approximately Correct (PAC) Guarantees for Data-Driven Reachability Analysis: A Theoretical and Empirical Comparison cites this paper.

Probably Approximately Correct (PAC) Guarantees for Data-Driven Reachability Analysis: A Theoretical and Empirical Comparison Formal Verification and Control with Conformal Prediction

Reference 4

Resolution: metadata mismatch; arxiv_id, observed 2026-05-13T19:43:11.316970Z

Source-reported events for the cited work

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

Observation bcc01b23-ae73-4381-a92d-3747e844a718 · inbound

Risk-Controlled Post-Processing of Decision Policies cites this paper.

Risk-Controlled Post-Processing of Decision Policies Formal Verification and Control with Conformal Prediction

Reference 42

Resolution: verified exact; arxiv_id, observed 2026-05-11T21:36:16.570349Z

Source-reported events for the cited work

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

Observation 4f916b38-4a70-4231-ae76-04413e54256e · inbound

A PAC-Bayes Approach for Controlling Unknown Linear Discrete-time Systems cites this paper.

A PAC-Bayes Approach for Controlling Unknown Linear Discrete-time Systems Formal Verification and Control with Conformal Prediction

Reference 45

Resolution: verified exact; arxiv_id, observed 2026-05-12T05:21:27.554066Z

Source-reported events for the cited work

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

Observation 1932cd55-cc1a-4e36-bfe2-6ca8f763ca75 · inbound

A PAC-Bayes Approach for Controlling Unknown Linear Discrete-time Systems cites this paper.

A PAC-Bayes Approach for Controlling Unknown Linear Discrete-time Systems Formal Verification and Control with Conformal Prediction

Reference 23

Resolution: verified exact; arxiv_id, observed 2026-05-22T10:41:25.077142Z

Source-reported events for the cited work

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

Observation c29ebb11-2717-4f8c-b589-24bb65f940c6 · inbound

Conformal Risk-Averse Decision Making with Action Conditional Guarantee cites this paper.

Conformal Risk-Averse Decision Making with Action Conditional Guarantee Formal Verification and Control with Conformal Prediction

Reference 20

Resolution: verified exact; arxiv_id, observed 2026-07-02T15:27:05.479604Z

Source-reported events for the cited work

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

Observation b815cfa6-da6a-4a2f-b5b5-c02994ee6ec1 · inbound

PAC-Bayesian Certificates for Quadratic Closed-Loop Control cites this paper.

PAC-Bayesian Certificates for Quadratic Closed-Loop Control Formal Verification and Control with Conformal Prediction

Reference 8

Resolution: verified exact; arxiv_id, observed 2026-07-01T17:55:52.508460Z

Source-reported events for the cited work

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

Observation 3dd486d0-f84d-4126-81b5-5917a9dc7e1a · inbound

Uncertainty Quantification via Invariant-Measure Conformal Prediction cites this paper.

Uncertainty Quantification via Invariant-Measure Conformal Prediction Formal Verification and Control with Conformal Prediction

Reference 22

Resolution: verified exact; arxiv_id, observed 2026-07-01T11:45:46.110859Z

Source-reported events for the cited work

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

Observation 7e1095e1-e166-417b-8d20-fed01d3032ae · inbound

Finite-Sample Conformal Coverage Recovery via Fusion under Degraded Local Guarantees in Occupancy Map Estimation cites this paper.

Finite-Sample Conformal Coverage Recovery via Fusion under Degraded Local Guarantees in Occupancy Map Estimation Formal Verification and Control with Conformal Prediction

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-02T00:49:12.245642Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.