{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2023:UZQQFXA63BMJAXB5LLNTYF4HE3","short_pith_number":"pith:UZQQFXA6","schema_version":"1.0","canonical_sha256":"a66102dc1ed858905c3d5adb3c178726cb99329e6a26e6f684df7fd37693346b","source":{"kind":"arxiv","id":"2305.16796","version":1},"attestation_state":"computed","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"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2305.16796","created_at":"2026-07-05T06:14:17.555098+00:00"},{"alias_kind":"arxiv_version","alias_value":"2305.16796v1","created_at":"2026-07-05T06:14:17.555098+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2305.16796","created_at":"2026-07-05T06:14:17.555098+00:00"},{"alias_kind":"pith_short_12","alias_value":"UZQQFXA63BMJ","created_at":"2026-07-05T06:14:17.555098+00:00"},{"alias_kind":"pith_short_16","alias_value":"UZQQFXA63BMJAXB5","created_at":"2026-07-05T06:14:17.555098+00:00"},{"alias_kind":"pith_short_8","alias_value":"UZQQFXA6","created_at":"2026-07-05T06:14:17.555098+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/UZQQFXA63BMJAXB5LLNTYF4HE3","json":"https://pith.science/pith/UZQQFXA63BMJAXB5LLNTYF4HE3.json","graph_json":"https://pith.science/api/pith-number/UZQQFXA63BMJAXB5LLNTYF4HE3/graph.json","events_json":"https://pith.science/api/pith-number/UZQQFXA63BMJAXB5LLNTYF4HE3/events.json","paper":"https://pith.science/paper/UZQQFXA6"},"agent_actions":{"view_html":"https://pith.science/pith/UZQQFXA63BMJAXB5LLNTYF4HE3","download_json":"https://pith.science/pith/UZQQFXA63BMJAXB5LLNTYF4HE3.json","view_paper":"https://pith.science/paper/UZQQFXA6","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2305.16796&json=true","fetch_graph":"https://pith.science/api/pith-number/UZQQFXA63BMJAXB5LLNTYF4HE3/graph.json","fetch_events":"https://pith.science/api/pith-number/UZQQFXA63BMJAXB5LLNTYF4HE3/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/UZQQFXA63BMJAXB5LLNTYF4HE3/action/timestamp_anchor","attest_storage":"https://pith.science/pith/UZQQFXA63BMJAXB5LLNTYF4HE3/action/storage_attestation","attest_author":"https://pith.science/pith/UZQQFXA63BMJAXB5LLNTYF4HE3/action/author_attestation","sign_citation":"https://pith.science/pith/UZQQFXA63BMJAXB5LLNTYF4HE3/action/citation_signature","submit_replication":"https://pith.science/pith/UZQQFXA63BMJAXB5LLNTYF4HE3/action/replication_record"}},"created_at":"2026-07-05T06:14:17.555098+00:00","updated_at":"2026-07-05T06:14:17.555098+00:00"}