{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:6MSGOBLHC6YXXXTZXINC3BQA7H","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":"93257b65b4eba2c9f1bf75003890f21326baf4339ba3eeb3924f2ab79b221831","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2025-04-17T18:58:44Z","title_canon_sha256":"dba62d98d8096b5feef1022092ca4f8669b3304a60e8911f59d4a1fe11b7d46d"},"schema_version":"1.0","source":{"id":"2504.13288","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2504.13288","created_at":"2026-07-05T10:50:52Z"},{"alias_kind":"arxiv_version","alias_value":"2504.13288v1","created_at":"2026-07-05T10:50:52Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2504.13288","created_at":"2026-07-05T10:50:52Z"},{"alias_kind":"pith_short_12","alias_value":"6MSGOBLHC6YX","created_at":"2026-07-05T10:50:52Z"},{"alias_kind":"pith_short_16","alias_value":"6MSGOBLHC6YXXXTZ","created_at":"2026-07-05T10:50:52Z"},{"alias_kind":"pith_short_8","alias_value":"6MSGOBLH","created_at":"2026-07-05T10:50:52Z"}],"graph_snapshots":[{"event_id":"sha256:4851a2fdf7b627a5eb7e5f4a07939c165ace44d53140c55d5c57ebee4cbc4979","target":"graph","created_at":"2026-07-05T10:50:52Z","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/2504.13288/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This paper studies the synthesis of a joint control and active perception policy for a stochastic system modeled as a partially observable Markov decision process (POMDP), subject to temporal logic specifications. The POMDP actions influence both system dynamics (control) and the emission function (perception). Beyond task completion, the planner seeks to maximize information gain about certain temporal events (the secret) through coordinated perception and control. To enable active information acquisition, we introduce minimizing the Shannon conditional entropy of the secret as a planning obj","authors_text":"Chongyang Shi, Jie Fu, Michael R. Dorothy","cross_cats":["cs.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2025-04-17T18:58:44Z","title":"Integrated Control and Active Perception in POMDPs for Temporal Logic Tasks and Information Acquisition"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2504.13288","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:909944b010d0c8d16317ae5ca1d56a2f6663f4d60fc1d40d73e5239da1a046c8","target":"record","created_at":"2026-07-05T10:50:52Z","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":"93257b65b4eba2c9f1bf75003890f21326baf4339ba3eeb3924f2ab79b221831","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2025-04-17T18:58:44Z","title_canon_sha256":"dba62d98d8096b5feef1022092ca4f8669b3304a60e8911f59d4a1fe11b7d46d"},"schema_version":"1.0","source":{"id":"2504.13288","kind":"arxiv","version":1}},"canonical_sha256":"f32467056717b17bde79ba1a2d8600f9c92a2a8734b85c29edca086cca7f219c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f32467056717b17bde79ba1a2d8600f9c92a2a8734b85c29edca086cca7f219c","first_computed_at":"2026-07-05T10:50:52.664770Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:50:52.664770Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"tF9/CaGpwPy24+0focr4xjvwVB/XqxIW5iqfzwsqQoiYS2jqwM3y4SwM0onNfhQ0+vRzkflDDXRclWhHWbeLDg==","signature_status":"signed_v1","signed_at":"2026-07-05T10:50:52.665290Z","signed_message":"canonical_sha256_bytes"},"source_id":"2504.13288","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:909944b010d0c8d16317ae5ca1d56a2f6663f4d60fc1d40d73e5239da1a046c8","sha256:4851a2fdf7b627a5eb7e5f4a07939c165ace44d53140c55d5c57ebee4cbc4979"],"state_sha256":"f0ebc328934ee678167a99124271f52bd33364b4741d2ce53b1a1363d7853c2b"}