{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:BGE7IBYNDOSH4EQT7IOCLRN3E7","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":"74412fff88a79961aff52525cb21c192a7958df17f5bc9417289e78aaa16fbe6","cross_cats_sorted":["cs.SY"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"eess.SY","submitted_at":"2022-03-17T02:34:26Z","title_canon_sha256":"629111da03371668be9342371bb3642851d0560d2362c8b062d0ab86b60a0cce"},"schema_version":"1.0","source":{"id":"2203.09038","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2203.09038","created_at":"2026-07-05T04:06:06Z"},{"alias_kind":"arxiv_version","alias_value":"2203.09038v1","created_at":"2026-07-05T04:06:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2203.09038","created_at":"2026-07-05T04:06:06Z"},{"alias_kind":"pith_short_12","alias_value":"BGE7IBYNDOSH","created_at":"2026-07-05T04:06:06Z"},{"alias_kind":"pith_short_16","alias_value":"BGE7IBYNDOSH4EQT","created_at":"2026-07-05T04:06:06Z"},{"alias_kind":"pith_short_8","alias_value":"BGE7IBYN","created_at":"2026-07-05T04:06:06Z"}],"graph_snapshots":[{"event_id":"sha256:69c85a788930edb96069211ad4884a5cf37036a2405f95366b47fb1ba8305607","target":"graph","created_at":"2026-07-05T04:06:06Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2203.09038/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Autonomous agents often operate in scenarios where the state is partially observed. In addition to maximizing their cumulative reward, agents must execute complex tasks with rich temporal and logical structures. These tasks can be expressed using temporal logic languages like finite linear temporal logic (LTL_f). This paper, for the first time, provides a structured framework for designing agent policies that maximize the reward while ensuring that the probability of satisfying the temporal logic specification is sufficiently high. We reformulate the problem as a constrained partially observab","authors_text":"Ashutosh Nayyar, Dhruva Kartik, Dongming Shen, Krishna C. Kalagarla, Pierluigi Nuzzo, Rahul Jain","cross_cats":["cs.SY"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"eess.SY","submitted_at":"2022-03-17T02:34:26Z","title":"Optimal Control of Partially Observable Markov Decision Processes with Finite Linear Temporal Logic Constraints"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2203.09038","kind":"arxiv","version":1},"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:dd358507fd43844161504a7d33dae389e1516e0a8f3e2b8e76fe47003f9b6180","target":"record","created_at":"2026-07-05T04:06:06Z","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":"74412fff88a79961aff52525cb21c192a7958df17f5bc9417289e78aaa16fbe6","cross_cats_sorted":["cs.SY"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"eess.SY","submitted_at":"2022-03-17T02:34:26Z","title_canon_sha256":"629111da03371668be9342371bb3642851d0560d2362c8b062d0ab86b60a0cce"},"schema_version":"1.0","source":{"id":"2203.09038","kind":"arxiv","version":1}},"canonical_sha256":"0989f4070d1ba47e1213fa1c25c5bb27c9f80a66ab4eed82c0c7f89a665ded28","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0989f4070d1ba47e1213fa1c25c5bb27c9f80a66ab4eed82c0c7f89a665ded28","first_computed_at":"2026-07-05T04:06:06.364265Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T04:06:06.364265Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"hNbd60wRvpk4xRZmCLY92QGRTVJQ/ee9xD13ZDwqq/1cdkyCyFShnEIPO6TvXmcBMe+p/YvB3GSWxOAsukG/Cg==","signature_status":"signed_v1","signed_at":"2026-07-05T04:06:06.364727Z","signed_message":"canonical_sha256_bytes"},"source_id":"2203.09038","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:dd358507fd43844161504a7d33dae389e1516e0a8f3e2b8e76fe47003f9b6180","sha256:69c85a788930edb96069211ad4884a5cf37036a2405f95366b47fb1ba8305607"],"state_sha256":"3d33fa3c519e45a2901b9b7aa25eddd276a135346281626399c17830347b5350"}