{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:UZQQFXA63BMJAXB5LLNTYF4HE3","short_pith_number":"pith:UZQQFXA6","canonical_record":{"source":{"id":"2305.16796","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2023-05-26T10:18:44Z","cross_cats_sorted":[],"title_canon_sha256":"51b6b3b2bb2bcd8469d33ff8110528c40c8b0e3f783ec5e51185623aad0ef545","abstract_canon_sha256":"cb873e0d13c7455537411eb55dcf09f6d42980503d1d81fbf78b174280647a24"},"schema_version":"1.0"},"canonical_sha256":"a66102dc1ed858905c3d5adb3c178726cb99329e6a26e6f684df7fd37693346b","source":{"kind":"arxiv","id":"2305.16796","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2305.16796","created_at":"2026-07-05T06:14:17Z"},{"alias_kind":"arxiv_version","alias_value":"2305.16796v1","created_at":"2026-07-05T06:14:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2305.16796","created_at":"2026-07-05T06:14:17Z"},{"alias_kind":"pith_short_12","alias_value":"UZQQFXA63BMJ","created_at":"2026-07-05T06:14:17Z"},{"alias_kind":"pith_short_16","alias_value":"UZQQFXA63BMJAXB5","created_at":"2026-07-05T06:14:17Z"},{"alias_kind":"pith_short_8","alias_value":"UZQQFXA6","created_at":"2026-07-05T06:14:17Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:UZQQFXA63BMJAXB5LLNTYF4HE3","target":"record","payload":{"canonical_record":{"source":{"id":"2305.16796","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2023-05-26T10:18:44Z","cross_cats_sorted":[],"title_canon_sha256":"51b6b3b2bb2bcd8469d33ff8110528c40c8b0e3f783ec5e51185623aad0ef545","abstract_canon_sha256":"cb873e0d13c7455537411eb55dcf09f6d42980503d1d81fbf78b174280647a24"},"schema_version":"1.0"},"canonical_sha256":"a66102dc1ed858905c3d5adb3c178726cb99329e6a26e6f684df7fd37693346b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T06:14:17.555496Z","signature_b64":"cxsG3HxU12necyOrMT0k/2X293XuNMEFb4sRrTbjsY+quAnBx3w2q02iNSjAg56qUdxafCWWOTMyptzT5BRnCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a66102dc1ed858905c3d5adb3c178726cb99329e6a26e6f684df7fd37693346b","last_reissued_at":"2026-07-05T06:14:17.555036Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T06:14:17.555036Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2305.16796","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T06:14:17Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"S6SXrwTvcVLmvaunolYRjVNW2WdvljJ3VhB4u4+9m3TYaM53Zao0XB5YniRwjDb71M1sB/GAEYtH1q2k9utYDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T10:48:00.155509Z"},"content_sha256":"4fdeef2e1bf1d878497cd6487db0f08ed49199609ba746f3d7d3f2bb9157f25d","schema_version":"1.0","event_id":"sha256:4fdeef2e1bf1d878497cd6487db0f08ed49199609ba746f3d7d3f2bb9157f25d"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:UZQQFXA63BMJAXB5LLNTYF4HE3","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"MDPs as Distribution Transformers: Affine Invariant Synthesis for Safety Objectives","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"{\\DJ}or{\\dj}e \\v{Z}ikeli\\'c, Krishnendu Chatterjee, S. Akshay, Tobias Meggendorfer","submitted_at":"2023-05-26T10:18:44Z","abstract_excerpt":"Markov decision processes can be viewed as transformers of probability distributions. While this view is useful from a practical standpoint to reason about trajectories of distributions, basic reachability and safety problems are known to be computationally intractable (i.e., Skolem-hard) to solve in such models. Further, we show that even for simple examples of MDPs, strategies for safety objectives over distributions can require infinite memory and randomization.\n  In light of this, we present a novel overapproximation approach to synthesize strategies in an MDP, such that a safety objective"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2305.16796","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2305.16796/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T06:14:17Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"t4fIwe7mv2dtt9zgRlsZeinAW5oQHFc9J6XmyiBVdK3yK2glv0jPovEsyYUqnVdJOPG1KOAgxjKALgnMj7doAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T10:48:00.156081Z"},"content_sha256":"9c81c9e4e63557b68b40245017640a3e8c5e899da50cefeaa495c148bf1ea758","schema_version":"1.0","event_id":"sha256:9c81c9e4e63557b68b40245017640a3e8c5e899da50cefeaa495c148bf1ea758"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/UZQQFXA63BMJAXB5LLNTYF4HE3/bundle.json","state_url":"https://pith.science/pith/UZQQFXA63BMJAXB5LLNTYF4HE3/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/UZQQFXA63BMJAXB5LLNTYF4HE3/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-08-06T10:48:00Z","links":{"resolver":"https://pith.science/pith/UZQQFXA63BMJAXB5LLNTYF4HE3","bundle":"https://pith.science/pith/UZQQFXA63BMJAXB5LLNTYF4HE3/bundle.json","state":"https://pith.science/pith/UZQQFXA63BMJAXB5LLNTYF4HE3/state.json","well_known_bundle":"https://pith.science/.well-known/pith/UZQQFXA63BMJAXB5LLNTYF4HE3/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:UZQQFXA63BMJAXB5LLNTYF4HE3","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":"cb873e0d13c7455537411eb55dcf09f6d42980503d1d81fbf78b174280647a24","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2023-05-26T10:18:44Z","title_canon_sha256":"51b6b3b2bb2bcd8469d33ff8110528c40c8b0e3f783ec5e51185623aad0ef545"},"schema_version":"1.0","source":{"id":"2305.16796","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2305.16796","created_at":"2026-07-05T06:14:17Z"},{"alias_kind":"arxiv_version","alias_value":"2305.16796v1","created_at":"2026-07-05T06:14:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2305.16796","created_at":"2026-07-05T06:14:17Z"},{"alias_kind":"pith_short_12","alias_value":"UZQQFXA63BMJ","created_at":"2026-07-05T06:14:17Z"},{"alias_kind":"pith_short_16","alias_value":"UZQQFXA63BMJAXB5","created_at":"2026-07-05T06:14:17Z"},{"alias_kind":"pith_short_8","alias_value":"UZQQFXA6","created_at":"2026-07-05T06:14:17Z"}],"graph_snapshots":[{"event_id":"sha256:9c81c9e4e63557b68b40245017640a3e8c5e899da50cefeaa495c148bf1ea758","target":"graph","created_at":"2026-07-05T06:14:17Z","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/2305.16796/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Markov decision processes can be viewed as transformers of probability distributions. While this view is useful from a practical standpoint to reason about trajectories of distributions, basic reachability and safety problems are known to be computationally intractable (i.e., Skolem-hard) to solve in such models. Further, we show that even for simple examples of MDPs, strategies for safety objectives over distributions can require infinite memory and randomization.\n  In light of this, we present a novel overapproximation approach to synthesize strategies in an MDP, such that a safety objective","authors_text":"{\\DJ}or{\\dj}e \\v{Z}ikeli\\'c, Krishnendu Chatterjee, S. Akshay, Tobias Meggendorfer","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2023-05-26T10:18:44Z","title":"MDPs as Distribution Transformers: Affine Invariant Synthesis for Safety Objectives"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2305.16796","kind":"arxiv","version":1},"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:4fdeef2e1bf1d878497cd6487db0f08ed49199609ba746f3d7d3f2bb9157f25d","target":"record","created_at":"2026-07-05T06:14:17Z","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":"cb873e0d13c7455537411eb55dcf09f6d42980503d1d81fbf78b174280647a24","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2023-05-26T10:18:44Z","title_canon_sha256":"51b6b3b2bb2bcd8469d33ff8110528c40c8b0e3f783ec5e51185623aad0ef545"},"schema_version":"1.0","source":{"id":"2305.16796","kind":"arxiv","version":1}},"canonical_sha256":"a66102dc1ed858905c3d5adb3c178726cb99329e6a26e6f684df7fd37693346b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a66102dc1ed858905c3d5adb3c178726cb99329e6a26e6f684df7fd37693346b","first_computed_at":"2026-07-05T06:14:17.555036Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T06:14:17.555036Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"cxsG3HxU12necyOrMT0k/2X293XuNMEFb4sRrTbjsY+quAnBx3w2q02iNSjAg56qUdxafCWWOTMyptzT5BRnCA==","signature_status":"signed_v1","signed_at":"2026-07-05T06:14:17.555496Z","signed_message":"canonical_sha256_bytes"},"source_id":"2305.16796","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4fdeef2e1bf1d878497cd6487db0f08ed49199609ba746f3d7d3f2bb9157f25d","sha256:9c81c9e4e63557b68b40245017640a3e8c5e899da50cefeaa495c148bf1ea758"],"state_sha256":"65cb3abdf125edfc06b5cf316ffd63616541c112b2c1c1ee0ec1090aface5126"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ADlEi5dzmSHoKSDklHyzKxEr54LqZgcz05G/KTOQ/pttwmEQtCIRJ9rrRUW/5Q5+D8BkLCrN2q3H4HepyafFBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-06T10:48:00.159839Z","bundle_sha256":"dc2f9906dbaa89d74fd3e01b4b55be8ff0e8d6163d32ab0d38365f732f1b6e25"}}