{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2009:N3LS53VJAZIKQASXUJ4LHVMDCX","short_pith_number":"pith:N3LS53VJ","canonical_record":{"source":{"id":"0909.1645","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2009-09-09T07:47:28Z","cross_cats_sorted":[],"title_canon_sha256":"f64d1284fa921b6786e9ce9b9b067f80ceee1ccb49834070ae3fe4ef377525cb","abstract_canon_sha256":"e2a9547cbfffa080e1cb51e7e54c128a5dc6c8d42bae3d42afbac94cc9eb08c9"},"schema_version":"1.0"},"canonical_sha256":"6ed72eeea90650a80257a278b3d58315f5bd90e2a6b617298bd402943ac87379","source":{"kind":"arxiv","id":"0909.1645","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"0909.1645","created_at":"2026-05-18T02:11:58Z"},{"alias_kind":"arxiv_version","alias_value":"0909.1645v3","created_at":"2026-05-18T02:11:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0909.1645","created_at":"2026-05-18T02:11:58Z"},{"alias_kind":"pith_short_12","alias_value":"N3LS53VJAZIK","created_at":"2026-05-18T12:26:00Z"},{"alias_kind":"pith_short_16","alias_value":"N3LS53VJAZIKQASX","created_at":"2026-05-18T12:26:00Z"},{"alias_kind":"pith_short_8","alias_value":"N3LS53VJ","created_at":"2026-05-18T12:26:00Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2009:N3LS53VJAZIKQASXUJ4LHVMDCX","target":"record","payload":{"canonical_record":{"source":{"id":"0909.1645","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2009-09-09T07:47:28Z","cross_cats_sorted":[],"title_canon_sha256":"f64d1284fa921b6786e9ce9b9b067f80ceee1ccb49834070ae3fe4ef377525cb","abstract_canon_sha256":"e2a9547cbfffa080e1cb51e7e54c128a5dc6c8d42bae3d42afbac94cc9eb08c9"},"schema_version":"1.0"},"canonical_sha256":"6ed72eeea90650a80257a278b3d58315f5bd90e2a6b617298bd402943ac87379","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:11:58.205384Z","signature_b64":"x1e00aMU0ekEi7hjEOAtO0ZoSCcqIJwLxBELJwK0aefjbB0oV0z5XzG3v5kbUNLuV6iLfXN9Xhkik6RwdrAABg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6ed72eeea90650a80257a278b3d58315f5bd90e2a6b617298bd402943ac87379","last_reissued_at":"2026-05-18T02:11:58.204356Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:11:58.204356Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"0909.1645","source_version":3,"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-18T02:11:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"TU9g5etpD+6oFbwZ0+hMG3S420S4yYKixROdRo7piwg79VNOqBrWoMhvuXd7ouTRkNO2oAnywd4BS/M1UXHNBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T07:25:10.883196Z"},"content_sha256":"718837dded1e8bcab119df8a7883df5258ad43c96c8a57bb6b8aef9c7d020ff2","schema_version":"1.0","event_id":"sha256:718837dded1e8bcab119df8a7883df5258ad43c96c8a57bb6b8aef9c7d020ff2"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2009:N3LS53VJAZIKQASXUJ4LHVMDCX","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Qualitative Analysis of Partially-observable Markov Decision Processes","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger","submitted_at":"2009-09-09T07:47:28Z","abstract_excerpt":"We study observation-based strategies for partially-observable Markov decision processes (POMDPs) with omega-regular objectives. An observation-based strategy relies on partial information about the history of a play, namely, on the past sequence of observations. We consider the qualitative analysis problem: given a POMDP with an omega-regular objective, whether there is an observation-based strategy to achieve the objective with probability~1 (almost-sure winning), or with positive probability (positive winning). Our main results are twofold. First, we present a complete picture of the comput"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0909.1645","kind":"arxiv","version":3},"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-18T02:11:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"HlBI8uQ6+jOSGzQ9un+Gyvk5yhEMXgjGvyUy9OER+XvUfsWCCSp9cOKDYA1svQKhw86qx72qrBJKPi82ptghDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T07:25:10.883774Z"},"content_sha256":"69d42d37bfa723718da84049b57e4e0f57e2f76d57a64c29c5f165cc256b24ad","schema_version":"1.0","event_id":"sha256:69d42d37bfa723718da84049b57e4e0f57e2f76d57a64c29c5f165cc256b24ad"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/N3LS53VJAZIKQASXUJ4LHVMDCX/bundle.json","state_url":"https://pith.science/pith/N3LS53VJAZIKQASXUJ4LHVMDCX/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/N3LS53VJAZIKQASXUJ4LHVMDCX/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-26T07:25:10Z","links":{"resolver":"https://pith.science/pith/N3LS53VJAZIKQASXUJ4LHVMDCX","bundle":"https://pith.science/pith/N3LS53VJAZIKQASXUJ4LHVMDCX/bundle.json","state":"https://pith.science/pith/N3LS53VJAZIKQASXUJ4LHVMDCX/state.json","well_known_bundle":"https://pith.science/.well-known/pith/N3LS53VJAZIKQASXUJ4LHVMDCX/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2009:N3LS53VJAZIKQASXUJ4LHVMDCX","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":"e2a9547cbfffa080e1cb51e7e54c128a5dc6c8d42bae3d42afbac94cc9eb08c9","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2009-09-09T07:47:28Z","title_canon_sha256":"f64d1284fa921b6786e9ce9b9b067f80ceee1ccb49834070ae3fe4ef377525cb"},"schema_version":"1.0","source":{"id":"0909.1645","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"0909.1645","created_at":"2026-05-18T02:11:58Z"},{"alias_kind":"arxiv_version","alias_value":"0909.1645v3","created_at":"2026-05-18T02:11:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0909.1645","created_at":"2026-05-18T02:11:58Z"},{"alias_kind":"pith_short_12","alias_value":"N3LS53VJAZIK","created_at":"2026-05-18T12:26:00Z"},{"alias_kind":"pith_short_16","alias_value":"N3LS53VJAZIKQASX","created_at":"2026-05-18T12:26:00Z"},{"alias_kind":"pith_short_8","alias_value":"N3LS53VJ","created_at":"2026-05-18T12:26:00Z"}],"graph_snapshots":[{"event_id":"sha256:69d42d37bfa723718da84049b57e4e0f57e2f76d57a64c29c5f165cc256b24ad","target":"graph","created_at":"2026-05-18T02:11:58Z","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 observation-based strategies for partially-observable Markov decision processes (POMDPs) with omega-regular objectives. An observation-based strategy relies on partial information about the history of a play, namely, on the past sequence of observations. We consider the qualitative analysis problem: given a POMDP with an omega-regular objective, whether there is an observation-based strategy to achieve the objective with probability~1 (almost-sure winning), or with positive probability (positive winning). Our main results are twofold. First, we present a complete picture of the comput","authors_text":"Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2009-09-09T07:47:28Z","title":"Qualitative Analysis of Partially-observable Markov Decision Processes"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0909.1645","kind":"arxiv","version":3},"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:718837dded1e8bcab119df8a7883df5258ad43c96c8a57bb6b8aef9c7d020ff2","target":"record","created_at":"2026-05-18T02:11:58Z","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":"e2a9547cbfffa080e1cb51e7e54c128a5dc6c8d42bae3d42afbac94cc9eb08c9","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2009-09-09T07:47:28Z","title_canon_sha256":"f64d1284fa921b6786e9ce9b9b067f80ceee1ccb49834070ae3fe4ef377525cb"},"schema_version":"1.0","source":{"id":"0909.1645","kind":"arxiv","version":3}},"canonical_sha256":"6ed72eeea90650a80257a278b3d58315f5bd90e2a6b617298bd402943ac87379","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6ed72eeea90650a80257a278b3d58315f5bd90e2a6b617298bd402943ac87379","first_computed_at":"2026-05-18T02:11:58.204356Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:11:58.204356Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"x1e00aMU0ekEi7hjEOAtO0ZoSCcqIJwLxBELJwK0aefjbB0oV0z5XzG3v5kbUNLuV6iLfXN9Xhkik6RwdrAABg==","signature_status":"signed_v1","signed_at":"2026-05-18T02:11:58.205384Z","signed_message":"canonical_sha256_bytes"},"source_id":"0909.1645","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:718837dded1e8bcab119df8a7883df5258ad43c96c8a57bb6b8aef9c7d020ff2","sha256:69d42d37bfa723718da84049b57e4e0f57e2f76d57a64c29c5f165cc256b24ad"],"state_sha256":"5fa5233322470cbbdccee7c8573d5947e3ca6bc752db0ac5e4b037bd25d377cd"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0Cb+4HhWoYbrpDbndWm5S9ZakeMfwOMRosjbRM+rRJWLzAlD9xm4m2g7wKfGNJh+MPtjyGhIT/Y/GLYj64qEDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-26T07:25:10.886474Z","bundle_sha256":"a7ef17fc2241a15f030f3e15cc798780cca87ab2139a3cc3e4a178317b337738"}}