{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:UK25IIVAWBDXBLDW47BXKSUL5A","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"b108df2dd7cd87a7ba849cdaacd55ba2dd30254be7cd1552664330cc8038a3ac","cross_cats_sorted":["cs.SY"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"eess.SY","submitted_at":"2024-11-23T18:18:06Z","title_canon_sha256":"4612f58ff72f79f1c0f34248345ce66ffe0b2d36464d2df14abe5fbe151aec08"},"schema_version":"1.0","source":{"id":"2411.15622","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2411.15622","created_at":"2026-07-05T09:40:45Z"},{"alias_kind":"arxiv_version","alias_value":"2411.15622v2","created_at":"2026-07-05T09:40:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2411.15622","created_at":"2026-07-05T09:40:45Z"},{"alias_kind":"pith_short_12","alias_value":"UK25IIVAWBDX","created_at":"2026-07-05T09:40:45Z"},{"alias_kind":"pith_short_16","alias_value":"UK25IIVAWBDXBLDW","created_at":"2026-07-05T09:40:45Z"},{"alias_kind":"pith_short_8","alias_value":"UK25IIVA","created_at":"2026-07-05T09:40:45Z"}],"graph_snapshots":[{"event_id":"sha256:c362531c2b6d818db01016a86a9fa1893189a063c6d3132e310efea0fba57e59","target":"graph","created_at":"2026-07-05T09:40:45Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2411.15622/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"In this paper, we propose a distributionally robust safety verification method for Markov decision processes where only an ambiguous transition kernel is available instead of the precise transition kernel. We define the ambiguity set around the nominal distribution by considering a Wasserstein distance. To this end, we introduce a robust safety function to characterize probabilistic safety in the face of uncertain transition probability. First, we obtain an upper bound on the robust safety function in terms of a distributionally robust Q-function. Then, we present a convex program-based distri","authors_text":"Abhijit Mazumdar, Rafal Wisniewski, Yuting Hou","cross_cats":["cs.SY"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"eess.SY","submitted_at":"2024-11-23T18:18:06Z","title":"Distributionally Robust Safety Verification for Markov Decision Processes"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2411.15622","kind":"arxiv","version":2},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:b172844e17c15d3f1df6b01b6e291cfc9e6bbce309d99998e1d7ab09c8c9970f","target":"record","created_at":"2026-07-05T09:40:45Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"b108df2dd7cd87a7ba849cdaacd55ba2dd30254be7cd1552664330cc8038a3ac","cross_cats_sorted":["cs.SY"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"eess.SY","submitted_at":"2024-11-23T18:18:06Z","title_canon_sha256":"4612f58ff72f79f1c0f34248345ce66ffe0b2d36464d2df14abe5fbe151aec08"},"schema_version":"1.0","source":{"id":"2411.15622","kind":"arxiv","version":2}},"canonical_sha256":"a2b5d422a0b04770ac76e7c3754a8be81f4196a0d26425f507c807b430030e38","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a2b5d422a0b04770ac76e7c3754a8be81f4196a0d26425f507c807b430030e38","first_computed_at":"2026-07-05T09:40:45.079392Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T09:40:45.079392Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"v1UHJohx5XzH8LpRmDBitXK6Fz672kMhmeN7a1tTvLJranJrY+2Oxs6f2H2bGL+J280Pbyd1VjLSg/vpkP6mAQ==","signature_status":"signed_v1","signed_at":"2026-07-05T09:40:45.079898Z","signed_message":"canonical_sha256_bytes"},"source_id":"2411.15622","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b172844e17c15d3f1df6b01b6e291cfc9e6bbce309d99998e1d7ab09c8c9970f","sha256:c362531c2b6d818db01016a86a9fa1893189a063c6d3132e310efea0fba57e59"],"state_sha256":"283378a838db79c566c71cf381e2ea212fa752f576e2bab6c097dc553ced3847"}