{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2017:EFXVPD76JYRSHHOGJDEJ2YMXZY","short_pith_number":"pith:EFXVPD76","schema_version":"1.0","canonical_sha256":"216f578ffe4e23239dc648c89d6197ce2fc1e3390d0d704aa57e3abb57a41c43","source":{"kind":"arxiv","id":"1708.04236","version":2},"attestation_state":"computed","paper":{"title":"Strategy Synthesis in POMDPs via Game-Based Abstractions","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.RO","authors_text":"Bernd Becker, Joost-Pieter Katoen, Leonore Winterer, Nils Jansen, Ralf Wimmer, Sebastian Junges, Ufuk Topcu","submitted_at":"2017-08-14T15:49:21Z","abstract_excerpt":"We study synthesis problems with constraints in partially observable Markov decision processes (POMDPs), where the objective is to compute a strategy for an agent that is guaranteed to satisfy certain safety and performance specifications. Verification and strategy synthesis for POMDPs are, however, computationally intractable in general. We alleviate this difficulty by focusing on planning applications and exploiting typical structural properties of such scenarios; for instance, we assume that the agent has the ability to observe its own position inside an environment. We propose an abstracti"},"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":"1708.04236","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2017-08-14T15:49:21Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"336b6e564abc3027685674f797851fbfbbb00a32228f8bcca664ebad9cc7963b","abstract_canon_sha256":"8e392c6349903e87fa2a54487455301a108d502cb1f94f9c5907611a13ae6ff1"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:45:04.888788Z","signature_b64":"n+7H3lslkx/+xCPXvWmWR4Y1H4WLMOsrVUTr85dVtinornky59XqOVJhXpACeXePNXcsKE9+vvixYOvU4Ii/Aw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"216f578ffe4e23239dc648c89d6197ce2fc1e3390d0d704aa57e3abb57a41c43","last_reissued_at":"2026-05-17T23:45:04.887567Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:45:04.887567Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Strategy Synthesis in POMDPs via Game-Based Abstractions","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.RO","authors_text":"Bernd Becker, Joost-Pieter Katoen, Leonore Winterer, Nils Jansen, Ralf Wimmer, Sebastian Junges, Ufuk Topcu","submitted_at":"2017-08-14T15:49:21Z","abstract_excerpt":"We study synthesis problems with constraints in partially observable Markov decision processes (POMDPs), where the objective is to compute a strategy for an agent that is guaranteed to satisfy certain safety and performance specifications. Verification and strategy synthesis for POMDPs are, however, computationally intractable in general. We alleviate this difficulty by focusing on planning applications and exploiting typical structural properties of such scenarios; for instance, we assume that the agent has the ability to observe its own position inside an environment. We propose an abstracti"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1708.04236","kind":"arxiv","version":2},"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":"1708.04236","created_at":"2026-05-17T23:45:04.888200+00:00"},{"alias_kind":"arxiv_version","alias_value":"1708.04236v2","created_at":"2026-05-17T23:45:04.888200+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1708.04236","created_at":"2026-05-17T23:45:04.888200+00:00"},{"alias_kind":"pith_short_12","alias_value":"EFXVPD76JYRS","created_at":"2026-05-18T12:31:12.930513+00:00"},{"alias_kind":"pith_short_16","alias_value":"EFXVPD76JYRSHHOG","created_at":"2026-05-18T12:31:12.930513+00:00"},{"alias_kind":"pith_short_8","alias_value":"EFXVPD76","created_at":"2026-05-18T12:31:12.930513+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/EFXVPD76JYRSHHOGJDEJ2YMXZY","json":"https://pith.science/pith/EFXVPD76JYRSHHOGJDEJ2YMXZY.json","graph_json":"https://pith.science/api/pith-number/EFXVPD76JYRSHHOGJDEJ2YMXZY/graph.json","events_json":"https://pith.science/api/pith-number/EFXVPD76JYRSHHOGJDEJ2YMXZY/events.json","paper":"https://pith.science/paper/EFXVPD76"},"agent_actions":{"view_html":"https://pith.science/pith/EFXVPD76JYRSHHOGJDEJ2YMXZY","download_json":"https://pith.science/pith/EFXVPD76JYRSHHOGJDEJ2YMXZY.json","view_paper":"https://pith.science/paper/EFXVPD76","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1708.04236&json=true","fetch_graph":"https://pith.science/api/pith-number/EFXVPD76JYRSHHOGJDEJ2YMXZY/graph.json","fetch_events":"https://pith.science/api/pith-number/EFXVPD76JYRSHHOGJDEJ2YMXZY/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/EFXVPD76JYRSHHOGJDEJ2YMXZY/action/timestamp_anchor","attest_storage":"https://pith.science/pith/EFXVPD76JYRSHHOGJDEJ2YMXZY/action/storage_attestation","attest_author":"https://pith.science/pith/EFXVPD76JYRSHHOGJDEJ2YMXZY/action/author_attestation","sign_citation":"https://pith.science/pith/EFXVPD76JYRSHHOGJDEJ2YMXZY/action/citation_signature","submit_replication":"https://pith.science/pith/EFXVPD76JYRSHHOGJDEJ2YMXZY/action/replication_record"}},"created_at":"2026-05-17T23:45:04.888200+00:00","updated_at":"2026-05-17T23:45:04.888200+00:00"}