{"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"}