{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:HW5ZRWVYRS5UAE7QDGCNWJLSIU","short_pith_number":"pith:HW5ZRWVY","canonical_record":{"source":{"id":"1410.0083","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2014-10-01T01:05:01Z","cross_cats_sorted":["cs.AI","cs.RO"],"title_canon_sha256":"c094b71136b0aaa5eca936c755f3123301c169c0bca5088530fc1fc4ccd0130e","abstract_canon_sha256":"89d6c37ccf320778575981b5d290e21bc9e346197746254fa1a31b9761801c57"},"schema_version":"1.0"},"canonical_sha256":"3dbb98dab88cbb4013f01984db2572451566b075855979ab8181902a7dac6ae9","source":{"kind":"arxiv","id":"1410.0083","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1410.0083","created_at":"2026-05-18T02:41:18Z"},{"alias_kind":"arxiv_version","alias_value":"1410.0083v1","created_at":"2026-05-18T02:41:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1410.0083","created_at":"2026-05-18T02:41:18Z"},{"alias_kind":"pith_short_12","alias_value":"HW5ZRWVYRS5U","created_at":"2026-05-18T12:28:30Z"},{"alias_kind":"pith_short_16","alias_value":"HW5ZRWVYRS5UAE7Q","created_at":"2026-05-18T12:28:30Z"},{"alias_kind":"pith_short_8","alias_value":"HW5ZRWVY","created_at":"2026-05-18T12:28:30Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:HW5ZRWVYRS5UAE7QDGCNWJLSIU","target":"record","payload":{"canonical_record":{"source":{"id":"1410.0083","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2014-10-01T01:05:01Z","cross_cats_sorted":["cs.AI","cs.RO"],"title_canon_sha256":"c094b71136b0aaa5eca936c755f3123301c169c0bca5088530fc1fc4ccd0130e","abstract_canon_sha256":"89d6c37ccf320778575981b5d290e21bc9e346197746254fa1a31b9761801c57"},"schema_version":"1.0"},"canonical_sha256":"3dbb98dab88cbb4013f01984db2572451566b075855979ab8181902a7dac6ae9","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:41:18.084981Z","signature_b64":"IjhetRXNoFF2PogYGVU2gj0+b45C5Mq7mISmXapNgCl/uilAdv5aEUpE8kHYLxk79eqSOWgcjccZT+sH3ueACA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3dbb98dab88cbb4013f01984db2572451566b075855979ab8181902a7dac6ae9","last_reissued_at":"2026-05-18T02:41:18.084559Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:41:18.084559Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1410.0083","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-18T02:41:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"CcDv29vFVRlU3rU6HWSTTZmCMhnu44HjQn2CTn0S5oDSV74WtMrVyJWp08Fe74Q+wap3wxgVgyzEmzlX6b86DQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T20:19:01.744362Z"},"content_sha256":"f88fdffca6dd1651ee556ea680f0d9993aab771443b6b0b6d99fdf9abb980311","schema_version":"1.0","event_id":"sha256:f88fdffca6dd1651ee556ea680f0d9993aab771443b6b0b6d99fdf9abb980311"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:HW5ZRWVYRS5UAE7QDGCNWJLSIU","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Integrating active sensing into reactive synthesis with temporal logic constraints under partial observations","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI","cs.RO"],"primary_cat":"cs.SY","authors_text":"Jie Fu, Ufuk Topcu","submitted_at":"2014-10-01T01:05:01Z","abstract_excerpt":"We introduce the notion of online reactive planning with sensing actions for systems with temporal logic constraints in partially observable and dynamic environments. With incomplete information on the dynamic environment, reactive controller synthesis amounts to solving a two-player game with partial observations, which has impractically computational complexity. To alleviate the high computational burden, online replanning via sensing actions avoids solving the strategy in the reactive system under partial observations. Instead, we only solve for a strategy that ensures a given temporal logi"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1410.0083","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-18T02:41:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"kEjiAhNqIR6toHMs2faw+ocXIyoAlXSlX25feNBvrYIIdAi85u4GDiCmUELV3CtZ8+EUzTURx4bKNohjiT8lCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T20:19:01.745118Z"},"content_sha256":"a5179162aa84d3db6a4aef762a1fd4268dbb1f09b927c7aa0853f1562da0b061","schema_version":"1.0","event_id":"sha256:a5179162aa84d3db6a4aef762a1fd4268dbb1f09b927c7aa0853f1562da0b061"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/HW5ZRWVYRS5UAE7QDGCNWJLSIU/bundle.json","state_url":"https://pith.science/pith/HW5ZRWVYRS5UAE7QDGCNWJLSIU/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/HW5ZRWVYRS5UAE7QDGCNWJLSIU/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-07T20:19:01Z","links":{"resolver":"https://pith.science/pith/HW5ZRWVYRS5UAE7QDGCNWJLSIU","bundle":"https://pith.science/pith/HW5ZRWVYRS5UAE7QDGCNWJLSIU/bundle.json","state":"https://pith.science/pith/HW5ZRWVYRS5UAE7QDGCNWJLSIU/state.json","well_known_bundle":"https://pith.science/.well-known/pith/HW5ZRWVYRS5UAE7QDGCNWJLSIU/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:HW5ZRWVYRS5UAE7QDGCNWJLSIU","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":"89d6c37ccf320778575981b5d290e21bc9e346197746254fa1a31b9761801c57","cross_cats_sorted":["cs.AI","cs.RO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2014-10-01T01:05:01Z","title_canon_sha256":"c094b71136b0aaa5eca936c755f3123301c169c0bca5088530fc1fc4ccd0130e"},"schema_version":"1.0","source":{"id":"1410.0083","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1410.0083","created_at":"2026-05-18T02:41:18Z"},{"alias_kind":"arxiv_version","alias_value":"1410.0083v1","created_at":"2026-05-18T02:41:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1410.0083","created_at":"2026-05-18T02:41:18Z"},{"alias_kind":"pith_short_12","alias_value":"HW5ZRWVYRS5U","created_at":"2026-05-18T12:28:30Z"},{"alias_kind":"pith_short_16","alias_value":"HW5ZRWVYRS5UAE7Q","created_at":"2026-05-18T12:28:30Z"},{"alias_kind":"pith_short_8","alias_value":"HW5ZRWVY","created_at":"2026-05-18T12:28:30Z"}],"graph_snapshots":[{"event_id":"sha256:a5179162aa84d3db6a4aef762a1fd4268dbb1f09b927c7aa0853f1562da0b061","target":"graph","created_at":"2026-05-18T02:41:18Z","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 introduce the notion of online reactive planning with sensing actions for systems with temporal logic constraints in partially observable and dynamic environments. With incomplete information on the dynamic environment, reactive controller synthesis amounts to solving a two-player game with partial observations, which has impractically computational complexity. To alleviate the high computational burden, online replanning via sensing actions avoids solving the strategy in the reactive system under partial observations. Instead, we only solve for a strategy that ensures a given temporal logi","authors_text":"Jie Fu, Ufuk Topcu","cross_cats":["cs.AI","cs.RO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2014-10-01T01:05:01Z","title":"Integrating active sensing into reactive synthesis with temporal logic constraints under partial observations"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1410.0083","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:f88fdffca6dd1651ee556ea680f0d9993aab771443b6b0b6d99fdf9abb980311","target":"record","created_at":"2026-05-18T02:41:18Z","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":"89d6c37ccf320778575981b5d290e21bc9e346197746254fa1a31b9761801c57","cross_cats_sorted":["cs.AI","cs.RO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2014-10-01T01:05:01Z","title_canon_sha256":"c094b71136b0aaa5eca936c755f3123301c169c0bca5088530fc1fc4ccd0130e"},"schema_version":"1.0","source":{"id":"1410.0083","kind":"arxiv","version":1}},"canonical_sha256":"3dbb98dab88cbb4013f01984db2572451566b075855979ab8181902a7dac6ae9","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3dbb98dab88cbb4013f01984db2572451566b075855979ab8181902a7dac6ae9","first_computed_at":"2026-05-18T02:41:18.084559Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:41:18.084559Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"IjhetRXNoFF2PogYGVU2gj0+b45C5Mq7mISmXapNgCl/uilAdv5aEUpE8kHYLxk79eqSOWgcjccZT+sH3ueACA==","signature_status":"signed_v1","signed_at":"2026-05-18T02:41:18.084981Z","signed_message":"canonical_sha256_bytes"},"source_id":"1410.0083","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f88fdffca6dd1651ee556ea680f0d9993aab771443b6b0b6d99fdf9abb980311","sha256:a5179162aa84d3db6a4aef762a1fd4268dbb1f09b927c7aa0853f1562da0b061"],"state_sha256":"fd956c86d91e2375e9a1dd30a16fe00fbce45d96206ab62bc4c5ff273347db1e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"5dozVm8B/TFcnxnJBzsJGPOY/D+K3bC0tHMFlOkQjjHqnUHZHHqWt7RpMvTMy2a7Imk2E8i4o2TA8O86irXgCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-07T20:19:01.748846Z","bundle_sha256":"f11299d1511c746427abe698eb86c945cbe06723196ca4979933f0235923bc63"}}