Paper Citation Record · LEDGER

Distributionally Robust Safety Verification for Markov Decision Processes

As of 13 August 2026, this Paper Citation Record lists 17 of 17 outbound references and 0 inbound Pith citation observations for arXiv:2411.15622.

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

pith.paper-citation-record.v1
2411.15622 v2

Coverage vector

measured 17 of 17 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-12T14:14:29.723482Z

measured 17 of 17 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-13T06:32:02.005865+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

17 of 17 outbound references displayed

verified exact1
verified fuzzy16
unresolved0
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 2bd062e5-71bf-4a24-9458-47ad66e51af6 · outbound

This paper cites Data-driven distrib utionally robust optimization using the Wasserstein metric: Performance gu arantees and tractable reformulations,.

Distributionally Robust Safety Verification for Markov Decision Processes Data-driven distrib utionally robust optimization using the Wasserstein metric: Performance gu arantees and tractable reformulations,

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:14:29.905104Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation a2944a6c-3db0-4889-8c5f-a0941330ceaf · outbound

This paper cites Distributionally robust stocha stic optimiza- tion with Wasserstein distance,.

Distributionally Robust Safety Verification for Markov Decision Processes Distributionally robust stocha stic optimiza- tion with Wasserstein distance,

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:14:29.896383Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation fae3aa6b-4b34-4d87-93a1-74ae4d3b72d4 · outbound

This paper cites Fast bellman upda tes for Wasserstein distributionally robust MDPs,.

Distributionally Robust Safety Verification for Markov Decision Processes Fast bellman upda tes for Wasserstein distributionally robust MDPs,

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:14:29.888133Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 52758743-9831-45ee-b90c-6d72abbb3b65 · outbound

This paper cites A moment -based distributionally robust optimization model for air trafﬁc ﬂow manage- ment,.

Distributionally Robust Safety Verification for Markov Decision Processes A moment -based distributionally robust optimization model for air trafﬁc ﬂow manage- ment,

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:14:29.879300Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation f1b45ff3-9141-4a75-94eb-ff06be1276af · outbound

This paper cites Understan ding contrastive learning via distributionally robust optimiz ation,.

Distributionally Robust Safety Verification for Markov Decision Processes Understan ding contrastive learning via distributionally robust optimiz ation,

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:14:29.870505Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation c8f8c90a-1a44-42bd-8984-b781a1adc9ff · outbound

This paper cites A classiﬁcation of phi-diverg ences for data- driven stochastic optimization,.

Distributionally Robust Safety Verification for Markov Decision Processes A classiﬁcation of phi-diverg ences for data- driven stochastic optimization,

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:14:29.861562Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 14eb37d9-d012-4251-a153-650657d47c24 · outbound

This paper cites p-safe analysis of stochastic hybrid processes,.

Distributionally Robust Safety Verification for Markov Decision Processes p-safe analysis of stochastic hybrid processes,

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:14:29.852292Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 1474028c-726d-4094-93cf-1d22c577a401 · outbound

This paper cites Safety of stochasti c systems: An analytic and computational approach,.

Distributionally Robust Safety Verification for Markov Decision Processes Safety of stochasti c systems: An analytic and computational approach,

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:14:29.843307Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation ece4862c-66c5-46d2-8968-e7e9940f98da · outbound

This paper cites St ochastic safety for random dynamical systems,.

Distributionally Robust Safety Verification for Markov Decision Processes St ochastic safety for random dynamical systems,

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:14:29.833343Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation c0054557-23cb-418c-9f44-3e5afd316ed5 · outbound

This paper cites p-safety and stability,.

Distributionally Robust Safety Verification for Markov Decision Processes p-safety and stability,

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:14:29.824638Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation a347ebac-821d-4906-84a9-36cdbd655866 · outbound

This paper cites Stochastic safety for markov chains,.

Distributionally Robust Safety Verification for Markov Decision Processes Stochastic safety for markov chains,

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:14:29.815850Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 5652e1e9-d5f6-4e1e-97ef-ae2519c4e167 · outbound

This paper cites Probabilistic safe ty guarantees for Markov decision processes,.

Distributionally Robust Safety Verification for Markov Decision Processes Probabilistic safe ty guarantees for Markov decision processes,

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:14:29.805716Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation ebe90aa9-72de-414c-8907-8d5edc99a618 · outbound

This paper cites On a space of tota lly addi- tive functions,.

Distributionally Robust Safety Verification for Markov Decision Processes On a space of tota lly addi- tive functions,

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:14:29.796233Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation e67e31ae-daf4-40f4-bd91-09af90ab23cf · outbound

This paper cites Robust dynamic programming,.

Distributionally Robust Safety Verification for Markov Decision Processes Robust dynamic programming,

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:14:29.786503Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation a54afaa2-c454-484b-819b-210b6d118b70 · outbound

This paper cites A convex optimization approach to distributi onally robust Markov decision processes with Wasserstein distance,.

Distributionally Robust Safety Verification for Markov Decision Processes A convex optimization approach to distributi onally robust Markov decision processes with Wasserstein distance,

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:14:29.776635Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 0055f51f-f968-424f-b3cf-317602373206 · outbound

This paper cites A dynamic game approach to distributionally robus t safety speciﬁcations for stochastic systems,.

Distributionally Robust Safety Verification for Markov Decision Processes A dynamic game approach to distributionally robus t safety speciﬁcations for stochastic systems,

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:14:29.766596Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation e5804215-a54c-4baf-b4ca-ca6bb5e8bb6b · outbound

This paper cites Safe Reinforcement Learning for Constrained Markov Decision Processes with Stochastic Stopping Time.

Distributionally Robust Safety Verification for Markov Decision Processes Safe Reinforcement Learning for Constrained Markov Decision Processes with Stochastic Stopping Time

Reference 17

Resolution: verified exact; local_arxiv, observed 2026-08-12T14:14:29.756465Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Pith citing papers

No inbound Pith citation observations are available.