{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:EFXVPD76JYRSHHOGJDEJ2YMXZY","short_pith_number":"pith:EFXVPD76","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"},"canonical_sha256":"216f578ffe4e23239dc648c89d6197ce2fc1e3390d0d704aa57e3abb57a41c43","source":{"kind":"arxiv","id":"1708.04236","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1708.04236","created_at":"2026-05-17T23:45:04Z"},{"alias_kind":"arxiv_version","alias_value":"1708.04236v2","created_at":"2026-05-17T23:45:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1708.04236","created_at":"2026-05-17T23:45:04Z"},{"alias_kind":"pith_short_12","alias_value":"EFXVPD76JYRS","created_at":"2026-05-18T12:31:12Z"},{"alias_kind":"pith_short_16","alias_value":"EFXVPD76JYRSHHOG","created_at":"2026-05-18T12:31:12Z"},{"alias_kind":"pith_short_8","alias_value":"EFXVPD76","created_at":"2026-05-18T12:31:12Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:EFXVPD76JYRSHHOGJDEJ2YMXZY","target":"record","payload":{"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"},"canonical_sha256":"216f578ffe4e23239dc648c89d6197ce2fc1e3390d0d704aa57e3abb57a41c43","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"},"source_kind":"arxiv","source_id":"1708.04236","source_version":2,"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-05-17T23:45:04Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"WalCfryB16f8y+/rniA2A0sT2YzSeD2/XmEnMizlKdcCOzN9VewV0A3Uu4nN97Dtkrym7x+ncOBWtJi04TjrAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-23T17:56:22.793333Z"},"content_sha256":"4f544069fd71f5d801346686aad7bbec8195ff9bc9e9e87822b4b1937515075c","schema_version":"1.0","event_id":"sha256:4f544069fd71f5d801346686aad7bbec8195ff9bc9e9e87822b4b1937515075c"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:EFXVPD76JYRSHHOGJDEJ2YMXZY","target":"graph","payload":{"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"},"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-05-17T23:45:04Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"jO13K4ciw3P2V6u8RBUkRfZAm72Kzt+tA/VoUM3yKhFOMyi/IaPopta4UfhM+7234iiz8PhtwAvtjtQjmb3yBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-23T17:56:22.794080Z"},"content_sha256":"90c4c3e7c56c79e742bc7bf31a2d652b703554ff1f79430fba8aadfd29196fa0","schema_version":"1.0","event_id":"sha256:90c4c3e7c56c79e742bc7bf31a2d652b703554ff1f79430fba8aadfd29196fa0"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/EFXVPD76JYRSHHOGJDEJ2YMXZY/bundle.json","state_url":"https://pith.science/pith/EFXVPD76JYRSHHOGJDEJ2YMXZY/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/EFXVPD76JYRSHHOGJDEJ2YMXZY/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-05-23T17:56:22Z","links":{"resolver":"https://pith.science/pith/EFXVPD76JYRSHHOGJDEJ2YMXZY","bundle":"https://pith.science/pith/EFXVPD76JYRSHHOGJDEJ2YMXZY/bundle.json","state":"https://pith.science/pith/EFXVPD76JYRSHHOGJDEJ2YMXZY/state.json","well_known_bundle":"https://pith.science/.well-known/pith/EFXVPD76JYRSHHOGJDEJ2YMXZY/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:EFXVPD76JYRSHHOGJDEJ2YMXZY","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":"8e392c6349903e87fa2a54487455301a108d502cb1f94f9c5907611a13ae6ff1","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2017-08-14T15:49:21Z","title_canon_sha256":"336b6e564abc3027685674f797851fbfbbb00a32228f8bcca664ebad9cc7963b"},"schema_version":"1.0","source":{"id":"1708.04236","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1708.04236","created_at":"2026-05-17T23:45:04Z"},{"alias_kind":"arxiv_version","alias_value":"1708.04236v2","created_at":"2026-05-17T23:45:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1708.04236","created_at":"2026-05-17T23:45:04Z"},{"alias_kind":"pith_short_12","alias_value":"EFXVPD76JYRS","created_at":"2026-05-18T12:31:12Z"},{"alias_kind":"pith_short_16","alias_value":"EFXVPD76JYRSHHOG","created_at":"2026-05-18T12:31:12Z"},{"alias_kind":"pith_short_8","alias_value":"EFXVPD76","created_at":"2026-05-18T12:31:12Z"}],"graph_snapshots":[{"event_id":"sha256:90c4c3e7c56c79e742bc7bf31a2d652b703554ff1f79430fba8aadfd29196fa0","target":"graph","created_at":"2026-05-17T23:45:04Z","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"},"paper":{"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","authors_text":"Bernd Becker, Joost-Pieter Katoen, Leonore Winterer, Nils Jansen, Ralf Wimmer, Sebastian Junges, Ufuk Topcu","cross_cats":["cs.AI"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2017-08-14T15:49:21Z","title":"Strategy Synthesis in POMDPs via Game-Based Abstractions"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1708.04236","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:4f544069fd71f5d801346686aad7bbec8195ff9bc9e9e87822b4b1937515075c","target":"record","created_at":"2026-05-17T23:45:04Z","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":"8e392c6349903e87fa2a54487455301a108d502cb1f94f9c5907611a13ae6ff1","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2017-08-14T15:49:21Z","title_canon_sha256":"336b6e564abc3027685674f797851fbfbbb00a32228f8bcca664ebad9cc7963b"},"schema_version":"1.0","source":{"id":"1708.04236","kind":"arxiv","version":2}},"canonical_sha256":"216f578ffe4e23239dc648c89d6197ce2fc1e3390d0d704aa57e3abb57a41c43","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"216f578ffe4e23239dc648c89d6197ce2fc1e3390d0d704aa57e3abb57a41c43","first_computed_at":"2026-05-17T23:45:04.887567Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:45:04.887567Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"n+7H3lslkx/+xCPXvWmWR4Y1H4WLMOsrVUTr85dVtinornky59XqOVJhXpACeXePNXcsKE9+vvixYOvU4Ii/Aw==","signature_status":"signed_v1","signed_at":"2026-05-17T23:45:04.888788Z","signed_message":"canonical_sha256_bytes"},"source_id":"1708.04236","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4f544069fd71f5d801346686aad7bbec8195ff9bc9e9e87822b4b1937515075c","sha256:90c4c3e7c56c79e742bc7bf31a2d652b703554ff1f79430fba8aadfd29196fa0"],"state_sha256":"60e56c440c38371b0365701936d6454ae0a47aa5825fe7ea05079f687911adde"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"uACAfmQ8OmknsqP/2goY2RdQQc79ifIQ5SeHWF9FRRjLO5js35Qna/PdrvV3pr2G0T+wjLuyUqhPZvn8DAMaDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-23T17:56:22.798345Z","bundle_sha256":"341da0fef44075f377bdcb7b811ce73078b2f51c6b054de37792f97b709252d7"}}