{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2018:3JYECNWZKHO6JB2QDYBCYHMPLV","short_pith_number":"pith:3JYECNWZ","schema_version":"1.0","canonical_sha256":"da704136d951dde487501e022c1d8f5d4cc4a945890824a42c402fb7ddf6adcc","source":{"kind":"arxiv","id":"1804.09341","version":1},"attestation_state":"computed","paper":{"title":"Distribution-based objectives for Markov Decision Processes","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CC","cs.DM"],"primary_cat":"cs.LO","authors_text":"Blaise Genest, Nikhil Vyas, S. Akshay","submitted_at":"2018-04-25T04:37:56Z","abstract_excerpt":"We consider distribution-based objectives for Markov Decision Processes (MDP). This class of objectives gives rise to an interesting trade-off between full and partial information. As in full observation, the strategy in the MDP can depend on the state of the system, but similar to partial information, the strategy needs to account for all the states at the same time. In this paper, we focus on two safety problems that arise naturally in this context, namely, existential and universal safety. Given an MDP A and a closed and convex polytope H of probability distributions over the states of A, t"},"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":"1804.09341","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-04-25T04:37:56Z","cross_cats_sorted":["cs.CC","cs.DM"],"title_canon_sha256":"b54b59cd5f92ef3314e0ffa2e58dbac5f9b5635c653ef09edf7cb91831c0e4b0","abstract_canon_sha256":"c268b22075866aeebf366b891818edc72c74b80634964f3de74ecee7215c6985"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:17:32.078410Z","signature_b64":"sZsfq85l+gXGz8DG+B60+ulVvrgAoVT8uBjeTO9h5NMI0e4luecEjmO5NM3Fm+kzyyn9Fq1ybl8zmb4pTk+SAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"da704136d951dde487501e022c1d8f5d4cc4a945890824a42c402fb7ddf6adcc","last_reissued_at":"2026-05-18T00:17:32.077657Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:17:32.077657Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Distribution-based objectives for Markov Decision Processes","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CC","cs.DM"],"primary_cat":"cs.LO","authors_text":"Blaise Genest, Nikhil Vyas, S. Akshay","submitted_at":"2018-04-25T04:37:56Z","abstract_excerpt":"We consider distribution-based objectives for Markov Decision Processes (MDP). This class of objectives gives rise to an interesting trade-off between full and partial information. As in full observation, the strategy in the MDP can depend on the state of the system, but similar to partial information, the strategy needs to account for all the states at the same time. In this paper, we focus on two safety problems that arise naturally in this context, namely, existential and universal safety. Given an MDP A and a closed and convex polytope H of probability distributions over the states of A, t"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1804.09341","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":""},"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":"1804.09341","created_at":"2026-05-18T00:17:32.077799+00:00"},{"alias_kind":"arxiv_version","alias_value":"1804.09341v1","created_at":"2026-05-18T00:17:32.077799+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1804.09341","created_at":"2026-05-18T00:17:32.077799+00:00"},{"alias_kind":"pith_short_12","alias_value":"3JYECNWZKHO6","created_at":"2026-05-18T12:32:02.567920+00:00"},{"alias_kind":"pith_short_16","alias_value":"3JYECNWZKHO6JB2Q","created_at":"2026-05-18T12:32:02.567920+00:00"},{"alias_kind":"pith_short_8","alias_value":"3JYECNWZ","created_at":"2026-05-18T12:32:02.567920+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/3JYECNWZKHO6JB2QDYBCYHMPLV","json":"https://pith.science/pith/3JYECNWZKHO6JB2QDYBCYHMPLV.json","graph_json":"https://pith.science/api/pith-number/3JYECNWZKHO6JB2QDYBCYHMPLV/graph.json","events_json":"https://pith.science/api/pith-number/3JYECNWZKHO6JB2QDYBCYHMPLV/events.json","paper":"https://pith.science/paper/3JYECNWZ"},"agent_actions":{"view_html":"https://pith.science/pith/3JYECNWZKHO6JB2QDYBCYHMPLV","download_json":"https://pith.science/pith/3JYECNWZKHO6JB2QDYBCYHMPLV.json","view_paper":"https://pith.science/paper/3JYECNWZ","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1804.09341&json=true","fetch_graph":"https://pith.science/api/pith-number/3JYECNWZKHO6JB2QDYBCYHMPLV/graph.json","fetch_events":"https://pith.science/api/pith-number/3JYECNWZKHO6JB2QDYBCYHMPLV/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/3JYECNWZKHO6JB2QDYBCYHMPLV/action/timestamp_anchor","attest_storage":"https://pith.science/pith/3JYECNWZKHO6JB2QDYBCYHMPLV/action/storage_attestation","attest_author":"https://pith.science/pith/3JYECNWZKHO6JB2QDYBCYHMPLV/action/author_attestation","sign_citation":"https://pith.science/pith/3JYECNWZKHO6JB2QDYBCYHMPLV/action/citation_signature","submit_replication":"https://pith.science/pith/3JYECNWZKHO6JB2QDYBCYHMPLV/action/replication_record"}},"created_at":"2026-05-18T00:17:32.077799+00:00","updated_at":"2026-05-18T00:17:32.077799+00:00"}