{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:3ITXR3R3WXK74TIH2SYZPALT63","short_pith_number":"pith:3ITXR3R3","canonical_record":{"source":{"id":"1905.03662","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2019-05-09T14:36:26Z","cross_cats_sorted":[],"title_canon_sha256":"850a73b9fcdb199aa392e2fe9e87fae063b1d6253a87d35686a34781304804ad","abstract_canon_sha256":"d3062271a38cb1e87f6e16f14f7a5bff363239f941dca0b2bb8032819f41caf5"},"schema_version":"1.0"},"canonical_sha256":"da2778ee3bb5d5fe4d07d4b1978173f6cd33abc1ad025c8ce97f2a848939bf10","source":{"kind":"arxiv","id":"1905.03662","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1905.03662","created_at":"2026-05-17T23:46:37Z"},{"alias_kind":"arxiv_version","alias_value":"1905.03662v1","created_at":"2026-05-17T23:46:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1905.03662","created_at":"2026-05-17T23:46:37Z"},{"alias_kind":"pith_short_12","alias_value":"3ITXR3R3WXK7","created_at":"2026-05-18T12:33:07Z"},{"alias_kind":"pith_short_16","alias_value":"3ITXR3R3WXK74TIH","created_at":"2026-05-18T12:33:07Z"},{"alias_kind":"pith_short_8","alias_value":"3ITXR3R3","created_at":"2026-05-18T12:33:07Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:3ITXR3R3WXK74TIH2SYZPALT63","target":"record","payload":{"canonical_record":{"source":{"id":"1905.03662","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2019-05-09T14:36:26Z","cross_cats_sorted":[],"title_canon_sha256":"850a73b9fcdb199aa392e2fe9e87fae063b1d6253a87d35686a34781304804ad","abstract_canon_sha256":"d3062271a38cb1e87f6e16f14f7a5bff363239f941dca0b2bb8032819f41caf5"},"schema_version":"1.0"},"canonical_sha256":"da2778ee3bb5d5fe4d07d4b1978173f6cd33abc1ad025c8ce97f2a848939bf10","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:46:37.053609Z","signature_b64":"Q3LIXMfKw+akDGGY0LdCMX96FgEQC6/Luy8HMVdIaHfEh513Hue86ooQUZw6RuxczCUX13CqwFtgOdVosDMoBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"da2778ee3bb5d5fe4d07d4b1978173f6cd33abc1ad025c8ce97f2a848939bf10","last_reissued_at":"2026-05-17T23:46:37.052509Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:46:37.052509Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1905.03662","source_version":1,"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:46:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"LBiODutS5yuI5KokIxCsEGlsgpcIgy7hOW9nDLvxf59RytUVh4in4S7B7SsShhZ5c6mwvu9N0ySm5FNchVCaCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T12:16:56.022933Z"},"content_sha256":"98d2e64c416cc4032651e8aa9ef18fb5eda8312c4794cacaf6c49f77f0fa6bf8","schema_version":"1.0","event_id":"sha256:98d2e64c416cc4032651e8aa9ef18fb5eda8312c4794cacaf6c49f77f0fa6bf8"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:3ITXR3R3WXK74TIH2SYZPALT63","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Active Perception and Control from Temporal Logic Specifications","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SY","authors_text":"Hai Lin, Rafael Rodrigues da Silva, Vince Kurtz","submitted_at":"2019-05-09T14:36:26Z","abstract_excerpt":"Next-generation autonomous systems must execute complex tasks in uncertain environments. Active perception, where an autonomous agent selects actions to increase knowledge about the environment, has gained traction in recent years for motion planning under uncertainty. One prominent approach is planning in the belief space. However, most belief-space planning starts with a known reward function, which can be difficult to specify for complex tasks. On the other hand, symbolic control methods automatically synthesize controllers to achieve logical specifications, but often do not deal well with "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1905.03662","kind":"arxiv","version":1},"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:46:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"DmObGyhpf/grInNCIJLi9pc2dmNUFIrcVWlhK4Uw9kc+r28KR2zxtoWruTJsq6Vs0+FlwrDtsWed/YTej6/HCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T12:16:56.023509Z"},"content_sha256":"b2f764bcd6f24ea33c54b3235e5ab664ca59778c9e28a47db0b1998e076b3540","schema_version":"1.0","event_id":"sha256:b2f764bcd6f24ea33c54b3235e5ab664ca59778c9e28a47db0b1998e076b3540"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/3ITXR3R3WXK74TIH2SYZPALT63/bundle.json","state_url":"https://pith.science/pith/3ITXR3R3WXK74TIH2SYZPALT63/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/3ITXR3R3WXK74TIH2SYZPALT63/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-06-03T12:16:56Z","links":{"resolver":"https://pith.science/pith/3ITXR3R3WXK74TIH2SYZPALT63","bundle":"https://pith.science/pith/3ITXR3R3WXK74TIH2SYZPALT63/bundle.json","state":"https://pith.science/pith/3ITXR3R3WXK74TIH2SYZPALT63/state.json","well_known_bundle":"https://pith.science/.well-known/pith/3ITXR3R3WXK74TIH2SYZPALT63/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:3ITXR3R3WXK74TIH2SYZPALT63","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":"d3062271a38cb1e87f6e16f14f7a5bff363239f941dca0b2bb8032819f41caf5","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2019-05-09T14:36:26Z","title_canon_sha256":"850a73b9fcdb199aa392e2fe9e87fae063b1d6253a87d35686a34781304804ad"},"schema_version":"1.0","source":{"id":"1905.03662","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1905.03662","created_at":"2026-05-17T23:46:37Z"},{"alias_kind":"arxiv_version","alias_value":"1905.03662v1","created_at":"2026-05-17T23:46:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1905.03662","created_at":"2026-05-17T23:46:37Z"},{"alias_kind":"pith_short_12","alias_value":"3ITXR3R3WXK7","created_at":"2026-05-18T12:33:07Z"},{"alias_kind":"pith_short_16","alias_value":"3ITXR3R3WXK74TIH","created_at":"2026-05-18T12:33:07Z"},{"alias_kind":"pith_short_8","alias_value":"3ITXR3R3","created_at":"2026-05-18T12:33:07Z"}],"graph_snapshots":[{"event_id":"sha256:b2f764bcd6f24ea33c54b3235e5ab664ca59778c9e28a47db0b1998e076b3540","target":"graph","created_at":"2026-05-17T23:46:37Z","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":"Next-generation autonomous systems must execute complex tasks in uncertain environments. Active perception, where an autonomous agent selects actions to increase knowledge about the environment, has gained traction in recent years for motion planning under uncertainty. One prominent approach is planning in the belief space. However, most belief-space planning starts with a known reward function, which can be difficult to specify for complex tasks. On the other hand, symbolic control methods automatically synthesize controllers to achieve logical specifications, but often do not deal well with ","authors_text":"Hai Lin, Rafael Rodrigues da Silva, Vince Kurtz","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2019-05-09T14:36:26Z","title":"Active Perception and Control from Temporal Logic Specifications"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1905.03662","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:98d2e64c416cc4032651e8aa9ef18fb5eda8312c4794cacaf6c49f77f0fa6bf8","target":"record","created_at":"2026-05-17T23:46:37Z","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":"d3062271a38cb1e87f6e16f14f7a5bff363239f941dca0b2bb8032819f41caf5","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2019-05-09T14:36:26Z","title_canon_sha256":"850a73b9fcdb199aa392e2fe9e87fae063b1d6253a87d35686a34781304804ad"},"schema_version":"1.0","source":{"id":"1905.03662","kind":"arxiv","version":1}},"canonical_sha256":"da2778ee3bb5d5fe4d07d4b1978173f6cd33abc1ad025c8ce97f2a848939bf10","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"da2778ee3bb5d5fe4d07d4b1978173f6cd33abc1ad025c8ce97f2a848939bf10","first_computed_at":"2026-05-17T23:46:37.052509Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:46:37.052509Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Q3LIXMfKw+akDGGY0LdCMX96FgEQC6/Luy8HMVdIaHfEh513Hue86ooQUZw6RuxczCUX13CqwFtgOdVosDMoBA==","signature_status":"signed_v1","signed_at":"2026-05-17T23:46:37.053609Z","signed_message":"canonical_sha256_bytes"},"source_id":"1905.03662","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:98d2e64c416cc4032651e8aa9ef18fb5eda8312c4794cacaf6c49f77f0fa6bf8","sha256:b2f764bcd6f24ea33c54b3235e5ab664ca59778c9e28a47db0b1998e076b3540"],"state_sha256":"c18b5511620b0587b812577893bb30a2a05665d8d87a257d7db4e0db25f0134f"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"WgD3+IoQme4WzKBItS6IzgpqRaOCYIRdnY3tR6EkuvJJpruCGuxvWriy5GFbgy6SufiZHvnfbEPxnnJdKCdOCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-03T12:16:56.026193Z","bundle_sha256":"1dc2218e5b5f7067692744fce8eaa953be1d4b291cb48873badaca1ec5e7ae37"}}