{"as_of":"2026-08-13T08:55:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:b0c6b6f44817d99ae3067ed45bdac197995e21297912df3fbf9854fedccde288","coverage":[{"denominator":17,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":17,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-12T14:14:29.723482Z","state":"measured"},{"denominator":17,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":17,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-13T06:32:02.005865+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2411.15622/citation-record","integrity":"/paper/2411.15622/integrity","json":"/paper/2411.15622/citation-record.json","paper":"/paper/2411.15622"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:14:29.901671Z","title":"Data-driven distrib utionally robust optimization using the Wasserstein metric: Performance gu arantees and tractable reformulations,","venue":null,"work_id":"8d192e7c-27fa-42af-8107-af91ebac43b6","year":2018},"citing_paper":{"arxiv_id":"2411.15622","last_updated":"2024-11-26T15:27:03Z","snapshot_observed_at":"2026-08-12T14:03:38.510885Z","submitted_at":"2024-11-23T18:18:06Z","title":"Distributionally Robust Safety Verification for Markov Decision Processes","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-12T14:14:29.670904Z"},"links":{"citing_paper":"/paper/2411.15622"},"observation_digest":"sha256:00b29dd57b0b0b2f49a2e2826fa7bbe5943420cf13b7ee30bdbb5e707788aaca","observation_id":"2bd062e5-71bf-4a24-9458-47ad66e51af6","resolution":{"observed_at":"2026-08-12T14:14:29.905104Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:14:29.893266Z","title":"Distributionally robust stocha stic optimiza- tion with Wasserstein distance,","venue":null,"work_id":"b244c63e-b973-40a4-a0ac-04639f4631fd","year":2023},"citing_paper":{"arxiv_id":"2411.15622","last_updated":"2024-11-26T15:27:03Z","snapshot_observed_at":"2026-08-12T14:03:38.510885Z","submitted_at":"2024-11-23T18:18:06Z","title":"Distributionally Robust Safety Verification for Markov Decision Processes","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-12T14:14:29.674831Z"},"links":{"citing_paper":"/paper/2411.15622"},"observation_digest":"sha256:0a1ef8bb576cbe5a4beabeb6c68f6fbea69146ea898268e28b6696ffc04150d4","observation_id":"a2944a6c-3db0-4889-8c5f-a0941330ceaf","resolution":{"observed_at":"2026-08-12T14:14:29.896383Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:14:29.884584Z","title":"Fast bellman upda tes for Wasserstein distributionally robust MDPs,","venue":null,"work_id":"6b2f9e6c-b1a8-4393-a10e-d03c5dd0278b","year":2024},"citing_paper":{"arxiv_id":"2411.15622","last_updated":"2024-11-26T15:27:03Z","snapshot_observed_at":"2026-08-12T14:03:38.510885Z","submitted_at":"2024-11-23T18:18:06Z","title":"Distributionally Robust Safety Verification for Markov Decision Processes","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-12T14:14:29.678266Z"},"links":{"citing_paper":"/paper/2411.15622"},"observation_digest":"sha256:cb6800ca53ca3f831e7e3ca5c4f778a181ce17d8f95f0c36f876a42134aeb6ac","observation_id":"fae3aa6b-4b34-4d87-93a1-74ae4d3b72d4","resolution":{"observed_at":"2026-08-12T14:14:29.888133Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:14:29.875889Z","title":"A moment -based distributionally robust optimization model for air trafﬁc ﬂow manage- ment,","venue":null,"work_id":"b23d73e7-457b-4d32-ac60-deaa81e90536","year":2021},"citing_paper":{"arxiv_id":"2411.15622","last_updated":"2024-11-26T15:27:03Z","snapshot_observed_at":"2026-08-12T14:03:38.510885Z","submitted_at":"2024-11-23T18:18:06Z","title":"Distributionally Robust Safety Verification for Markov Decision Processes","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-12T14:14:29.681454Z"},"links":{"citing_paper":"/paper/2411.15622"},"observation_digest":"sha256:5b6f61db403c94b436c332687ba9fba71f75a403138d99e6b0cf0d7a88024607","observation_id":"52758743-9831-45ee-b90c-6d72abbb3b65","resolution":{"observed_at":"2026-08-12T14:14:29.879300Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:14:29.867077Z","title":"Understan ding contrastive learning via distributionally robust optimiz ation,","venue":null,"work_id":"bb6926ea-fa76-4de6-a104-12989927f29c","year":2024},"citing_paper":{"arxiv_id":"2411.15622","last_updated":"2024-11-26T15:27:03Z","snapshot_observed_at":"2026-08-12T14:03:38.510885Z","submitted_at":"2024-11-23T18:18:06Z","title":"Distributionally Robust Safety Verification for Markov Decision Processes","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-12T14:14:29.684474Z"},"links":{"citing_paper":"/paper/2411.15622"},"observation_digest":"sha256:4d0b77da5da7ec87505ddfa9ce0202e13efc9e6d067adb17dc42bd582922e8f5","observation_id":"f1b45ff3-9141-4a75-94eb-ff06be1276af","resolution":{"observed_at":"2026-08-12T14:14:29.870505Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:14:29.858265Z","title":"A classiﬁcation of phi-diverg ences for data- driven stochastic optimization,","venue":null,"work_id":"ae4dd03f-ad99-4e89-b046-9f82c6fbd636","year":2014},"citing_paper":{"arxiv_id":"2411.15622","last_updated":"2024-11-26T15:27:03Z","snapshot_observed_at":"2026-08-12T14:03:38.510885Z","submitted_at":"2024-11-23T18:18:06Z","title":"Distributionally Robust Safety Verification for Markov Decision Processes","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-12T14:14:29.687950Z"},"links":{"citing_paper":"/paper/2411.15622"},"observation_digest":"sha256:6a9fce7c8024ad9f57f6d0f6308df40544f92acbc319769efb91c21dc01a3670","observation_id":"c8f8c90a-1a44-42bd-8984-b781a1adc9ff","resolution":{"observed_at":"2026-08-12T14:14:29.861562Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:14:29.849028Z","title":"p-safe analysis of stochastic hybrid processes,","venue":null,"work_id":"ecbd431c-0735-4b4f-9179-a65acbc03e89","year":2020},"citing_paper":{"arxiv_id":"2411.15622","last_updated":"2024-11-26T15:27:03Z","snapshot_observed_at":"2026-08-12T14:03:38.510885Z","submitted_at":"2024-11-23T18:18:06Z","title":"Distributionally Robust Safety Verification for Markov Decision Processes","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-12T14:14:29.691323Z"},"links":{"citing_paper":"/paper/2411.15622"},"observation_digest":"sha256:30fd6acaae5947f288fa9bd0323c27da8964e5f5860a88c3ddbca6cd0f5bbfa1","observation_id":"14eb37d9-d012-4251-a153-650657d47c24","resolution":{"observed_at":"2026-08-12T14:14:29.852292Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:14:29.839403Z","title":"Safety of stochasti c systems: An analytic and computational approach,","venue":null,"work_id":"944f4f6a-3a15-409d-856d-e8ebde71709c","year":2021},"citing_paper":{"arxiv_id":"2411.15622","last_updated":"2024-11-26T15:27:03Z","snapshot_observed_at":"2026-08-12T14:03:38.510885Z","submitted_at":"2024-11-23T18:18:06Z","title":"Distributionally Robust Safety Verification for Markov Decision Processes","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-12T14:14:29.694839Z"},"links":{"citing_paper":"/paper/2411.15622"},"observation_digest":"sha256:db367f8f1a1a435a884b7ce27f2f90f2a2510905d0aff233631007227f5b8c3b","observation_id":"1474028c-726d-4094-93cf-1d22c577a401","resolution":{"observed_at":"2026-08-12T14:14:29.843307Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:14:29.830110Z","title":"St ochastic safety for random dynamical systems,","venue":null,"work_id":"b6b59727-bbd8-4bfa-9cf8-abceefe9cec3","year":2021},"citing_paper":{"arxiv_id":"2411.15622","last_updated":"2024-11-26T15:27:03Z","snapshot_observed_at":"2026-08-12T14:03:38.510885Z","submitted_at":"2024-11-23T18:18:06Z","title":"Distributionally Robust Safety Verification for Markov Decision Processes","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-12T14:14:29.698234Z"},"links":{"citing_paper":"/paper/2411.15622"},"observation_digest":"sha256:e9e5de55ee75a976c6c70bc9c049e897814b4f44e3a6169c21d2c7b4d2bc15ca","observation_id":"ece4862c-66c5-46d2-8968-e7e9940f98da","resolution":{"observed_at":"2026-08-12T14:14:29.833343Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:14:29.821546Z","title":"p-safety and stability,","venue":null,"work_id":"576d545c-df26-4165-90e4-d2df29dde863","year":2021},"citing_paper":{"arxiv_id":"2411.15622","last_updated":"2024-11-26T15:27:03Z","snapshot_observed_at":"2026-08-12T14:03:38.510885Z","submitted_at":"2024-11-23T18:18:06Z","title":"Distributionally Robust Safety Verification for Markov Decision Processes","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-12T14:14:29.701375Z"},"links":{"citing_paper":"/paper/2411.15622"},"observation_digest":"sha256:e68570bf8f6a77be23bff2a30afa4dd9191738f23a92d62e78131462d6861373","observation_id":"c0054557-23cb-418c-9f44-3e5afd316ed5","resolution":{"observed_at":"2026-08-12T14:14:29.824638Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:14:29.811892Z","title":"Stochastic safety for markov chains,","venue":null,"work_id":"753174fe-f361-44ae-b035-7b91c9979e5e","year":2020},"citing_paper":{"arxiv_id":"2411.15622","last_updated":"2024-11-26T15:27:03Z","snapshot_observed_at":"2026-08-12T14:03:38.510885Z","submitted_at":"2024-11-23T18:18:06Z","title":"Distributionally Robust Safety Verification for Markov Decision Processes","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-12T14:14:29.704845Z"},"links":{"citing_paper":"/paper/2411.15622"},"observation_digest":"sha256:e305a708862bdd120ee877f07c811c0fa23a733ae4a22e9383bd588e0e881b8f","observation_id":"a347ebac-821d-4906-84a9-36cdbd655866","resolution":{"observed_at":"2026-08-12T14:14:29.815850Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:14:29.802133Z","title":"Probabilistic safe ty guarantees for Markov decision processes,","venue":null,"work_id":"30b4ac8d-cd9b-469b-8ceb-acd4b40df2c5","year":2023},"citing_paper":{"arxiv_id":"2411.15622","last_updated":"2024-11-26T15:27:03Z","snapshot_observed_at":"2026-08-12T14:03:38.510885Z","submitted_at":"2024-11-23T18:18:06Z","title":"Distributionally Robust Safety Verification for Markov Decision Processes","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-12T14:14:29.708057Z"},"links":{"citing_paper":"/paper/2411.15622"},"observation_digest":"sha256:0d00e501eb7e8e0146843193190a73cf40f7d211825cec0e98ca612ec5053032","observation_id":"5652e1e9-d5f6-4e1e-97ef-ae2519c4e167","resolution":{"observed_at":"2026-08-12T14:14:29.805716Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:14:29.792174Z","title":"On a space of tota lly addi- tive functions,","venue":null,"work_id":"ba764a25-a72f-41e7-ac71-4dab457e2c5a","year":1958},"citing_paper":{"arxiv_id":"2411.15622","last_updated":"2024-11-26T15:27:03Z","snapshot_observed_at":"2026-08-12T14:03:38.510885Z","submitted_at":"2024-11-23T18:18:06Z","title":"Distributionally Robust Safety Verification for Markov Decision Processes","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-12T14:14:29.711329Z"},"links":{"citing_paper":"/paper/2411.15622"},"observation_digest":"sha256:a9487e0fed852b4fcf17d019809da9fcbb14c686651810a01e4103216cb6a1e4","observation_id":"ebe90aa9-72de-414c-8907-8d5edc99a618","resolution":{"observed_at":"2026-08-12T14:14:29.796233Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:14:29.782900Z","title":"Robust dynamic programming,","venue":null,"work_id":"84b78187-9a21-48f1-b43b-87bdd74213ff","year":2005},"citing_paper":{"arxiv_id":"2411.15622","last_updated":"2024-11-26T15:27:03Z","snapshot_observed_at":"2026-08-12T14:03:38.510885Z","submitted_at":"2024-11-23T18:18:06Z","title":"Distributionally Robust Safety Verification for Markov Decision Processes","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-12T14:14:29.714298Z"},"links":{"citing_paper":"/paper/2411.15622"},"observation_digest":"sha256:c69176a46a29a1e096c2a19006fd6f569e5cd80d891acbac49f31b9dabf430cb","observation_id":"e67e31ae-daf4-40f4-bd91-09af90ab23cf","resolution":{"observed_at":"2026-08-12T14:14:29.786503Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:14:29.773072Z","title":"A convex optimization approach to distributi onally robust Markov decision processes with Wasserstein distance,","venue":null,"work_id":"0793f677-ea64-47f4-9df7-6e5be08bd3e7","year":2017},"citing_paper":{"arxiv_id":"2411.15622","last_updated":"2024-11-26T15:27:03Z","snapshot_observed_at":"2026-08-12T14:03:38.510885Z","submitted_at":"2024-11-23T18:18:06Z","title":"Distributionally Robust Safety Verification for Markov Decision Processes","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-12T14:14:29.717198Z"},"links":{"citing_paper":"/paper/2411.15622"},"observation_digest":"sha256:915bf6c44e4e28c7e47cf7f42cfc93e192d25b76f4eb7546ff7be783f463d066","observation_id":"a54afaa2-c454-484b-819b-210b6d118b70","resolution":{"observed_at":"2026-08-12T14:14:29.776635Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:14:29.762744Z","title":"A dynamic game approach to distributionally robus t safety speciﬁcations for stochastic systems,","venue":null,"work_id":"d750f1aa-ed53-46b4-a7f8-a23e07f9f6b8","year":2018},"citing_paper":{"arxiv_id":"2411.15622","last_updated":"2024-11-26T15:27:03Z","snapshot_observed_at":"2026-08-12T14:03:38.510885Z","submitted_at":"2024-11-23T18:18:06Z","title":"Distributionally Robust Safety Verification for Markov Decision Processes","version":2},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-12T14:14:29.720667Z"},"links":{"citing_paper":"/paper/2411.15622"},"observation_digest":"sha256:c8ac4933c030bdb731952b51c533c5056bac162038fb9da12cf5bd0d5dc910a5","observation_id":"0055f51f-f968-424f-b3cf-317602373206","resolution":{"observed_at":"2026-08-12T14:14:29.766596Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2403.15928","last_updated":"2024-03-23T20:22:30Z","snapshot_observed_at":"2026-08-13T00:47:13.652251Z","submitted_at":"2024-03-23T20:22:30Z","title":"Safe Reinforcement Learning for Constrained Markov Decision Processes with Stochastic Stopping Time","version":1},"cited_work":{"arxiv_id":"2403.15928","doi":null,"metadata_source":"pith","pith_arxiv_id":"2403.15928","snapshot_observed_at":"2026-08-12T14:14:29.750385Z","title":"Safe Reinforcement Learning for Constrained Markov Decision Processes with Stochastic Stopping Time","venue":"cs.LG","work_id":"540b3ac9-e04c-497d-b0b0-8246fe59b01e","year":2024},"citing_paper":{"arxiv_id":"2411.15622","last_updated":"2024-11-26T15:27:03Z","snapshot_observed_at":"2026-08-12T14:03:38.510885Z","submitted_at":"2024-11-23T18:18:06Z","title":"Distributionally Robust Safety Verification for Markov Decision Processes","version":2},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-12T14:14:29.723482Z"},"links":{"cited_paper":"/paper/2403.15928","citing_paper":"/paper/2411.15622"},"observation_digest":"sha256:d52d0726f060fa55840bc34595ae935352cb913b32d2e92035d8987c7cc869e9","observation_id":"e5804215-a54c-4baf-b4ca-ca6bb5e8bb6b","resolution":{"observed_at":"2026-08-12T14:14:29.756465Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2411.15622","last_updated":"2024-11-26T15:27:03Z","latest_version":2,"primary_category":"eess.SY","snapshot_observed_at":"2026-08-12T14:03:38.510885Z","submitted_at":"2024-11-23T18:18:06Z","title":"Distributionally Robust Safety Verification for Markov Decision Processes"},"reference_resolution":{"displayed":17,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":0,"verified_exact":1,"verified_fuzzy":16},"total_outbound_references":17},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"thesis":"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."}