{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2021:TVSNJFJLDIRZJ3SXAQHV7PU2Q4","short_pith_number":"pith:TVSNJFJL","canonical_record":{"source":{"id":"2111.02226","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2021-11-03T13:44:45Z","cross_cats_sorted":["cs.FL","cs.SY"],"title_canon_sha256":"8162cdf236e763d83cbf0af9b6593513bcc8cecf08b6f607ca4684b509af5db5","abstract_canon_sha256":"60aaf4ab77484fcb524c4a08041d3c0b4d281f3276fd18446b744b63d84533ab"},"schema_version":"1.0"},"canonical_sha256":"9d64d4952b1a2394ee57040f5fbe9a873d630195085209cc52b45958164700c4","source":{"kind":"arxiv","id":"2111.02226","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2111.02226","created_at":"2026-07-05T03:28:48Z"},{"alias_kind":"arxiv_version","alias_value":"2111.02226v1","created_at":"2026-07-05T03:28:48Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2111.02226","created_at":"2026-07-05T03:28:48Z"},{"alias_kind":"pith_short_12","alias_value":"TVSNJFJLDIRZ","created_at":"2026-07-05T03:28:48Z"},{"alias_kind":"pith_short_16","alias_value":"TVSNJFJLDIRZJ3SX","created_at":"2026-07-05T03:28:48Z"},{"alias_kind":"pith_short_8","alias_value":"TVSNJFJL","created_at":"2026-07-05T03:28:48Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2021:TVSNJFJLDIRZJ3SXAQHV7PU2Q4","target":"record","payload":{"canonical_record":{"source":{"id":"2111.02226","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2021-11-03T13:44:45Z","cross_cats_sorted":["cs.FL","cs.SY"],"title_canon_sha256":"8162cdf236e763d83cbf0af9b6593513bcc8cecf08b6f607ca4684b509af5db5","abstract_canon_sha256":"60aaf4ab77484fcb524c4a08041d3c0b4d281f3276fd18446b744b63d84533ab"},"schema_version":"1.0"},"canonical_sha256":"9d64d4952b1a2394ee57040f5fbe9a873d630195085209cc52b45958164700c4","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T03:28:48.734394Z","signature_b64":"IsuEgWSYJeZrmAXLgEO1S8Es+40EI8ccieOL4Jq+KAJX8Qp6qNgjxQAXlo+eftwDZD3uN4+w5LwJI3mXGNh9Cg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9d64d4952b1a2394ee57040f5fbe9a873d630195085209cc52b45958164700c4","last_reissued_at":"2026-07-05T03:28:48.733930Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T03:28:48.733930Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2111.02226","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-07-05T03:28:48Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"tDggAFP5fnKvaK4lQ9SjsY1AqIroxhjlfRWzEFugSdoo3XXj+brSI+cDP9oRXNMKpDJEYjiVXTTYXQCUBgG1Bg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-14T12:04:40.099471Z"},"content_sha256":"5880f9c96a274c1f0f7658dc8c5451b65b82a4eed0306e5832eb7c3c89d49d36","schema_version":"1.0","event_id":"sha256:5880f9c96a274c1f0f7658dc8c5451b65b82a4eed0306e5832eb7c3c89d49d36"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2021:TVSNJFJLDIRZJ3SXAQHV7PU2Q4","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Active Perception and Control from PrSTL Specifications","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.FL","cs.SY"],"primary_cat":"eess.SY","authors_text":"Hai Lin, Rafael Rodrigues da Silva, Vince Kurtz","submitted_at":"2021-11-03T13:44:45Z","abstract_excerpt":"Next-generation intelligent systems must plan and execute complex tasks with imperfect information about their environment. As a result, plans must also include actions to learn about the environment. This is known as active perception. Most active perception algorithms rely on reward or cost functions, which are usually challenging to specify and offer few theoretical guarantees. On the other hand, symbolic control methods can account for complex tasks using temporal logic but often do not deal well with uncertainties. This work combines symbolic control with active perception to achieve comp"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2111.02226","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2111.02226/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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-07-05T03:28:48Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"jNdSN6nL5FDUko+F7aUgZghWVcsy0i3L7FPCddjgjdXawmibyiuQ9NIiPweGrm2ZXPKl98oMhEkdkZMg5DaZDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-14T12:04:40.100385Z"},"content_sha256":"7e9d7c1bfe018a199b84b4cf777269cef75d558f1ed500d9babcba498c22ca8c","schema_version":"1.0","event_id":"sha256:7e9d7c1bfe018a199b84b4cf777269cef75d558f1ed500d9babcba498c22ca8c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/TVSNJFJLDIRZJ3SXAQHV7PU2Q4/bundle.json","state_url":"https://pith.science/pith/TVSNJFJLDIRZJ3SXAQHV7PU2Q4/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/TVSNJFJLDIRZJ3SXAQHV7PU2Q4/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-08-14T12:04:40Z","links":{"resolver":"https://pith.science/pith/TVSNJFJLDIRZJ3SXAQHV7PU2Q4","bundle":"https://pith.science/pith/TVSNJFJLDIRZJ3SXAQHV7PU2Q4/bundle.json","state":"https://pith.science/pith/TVSNJFJLDIRZJ3SXAQHV7PU2Q4/state.json","well_known_bundle":"https://pith.science/.well-known/pith/TVSNJFJLDIRZJ3SXAQHV7PU2Q4/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2021:TVSNJFJLDIRZJ3SXAQHV7PU2Q4","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":"60aaf4ab77484fcb524c4a08041d3c0b4d281f3276fd18446b744b63d84533ab","cross_cats_sorted":["cs.FL","cs.SY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2021-11-03T13:44:45Z","title_canon_sha256":"8162cdf236e763d83cbf0af9b6593513bcc8cecf08b6f607ca4684b509af5db5"},"schema_version":"1.0","source":{"id":"2111.02226","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2111.02226","created_at":"2026-07-05T03:28:48Z"},{"alias_kind":"arxiv_version","alias_value":"2111.02226v1","created_at":"2026-07-05T03:28:48Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2111.02226","created_at":"2026-07-05T03:28:48Z"},{"alias_kind":"pith_short_12","alias_value":"TVSNJFJLDIRZ","created_at":"2026-07-05T03:28:48Z"},{"alias_kind":"pith_short_16","alias_value":"TVSNJFJLDIRZJ3SX","created_at":"2026-07-05T03:28:48Z"},{"alias_kind":"pith_short_8","alias_value":"TVSNJFJL","created_at":"2026-07-05T03:28:48Z"}],"graph_snapshots":[{"event_id":"sha256:7e9d7c1bfe018a199b84b4cf777269cef75d558f1ed500d9babcba498c22ca8c","target":"graph","created_at":"2026-07-05T03:28:48Z","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/2111.02226/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Next-generation intelligent systems must plan and execute complex tasks with imperfect information about their environment. As a result, plans must also include actions to learn about the environment. This is known as active perception. Most active perception algorithms rely on reward or cost functions, which are usually challenging to specify and offer few theoretical guarantees. On the other hand, symbolic control methods can account for complex tasks using temporal logic but often do not deal well with uncertainties. This work combines symbolic control with active perception to achieve comp","authors_text":"Hai Lin, Rafael Rodrigues da Silva, Vince Kurtz","cross_cats":["cs.FL","cs.SY"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2021-11-03T13:44:45Z","title":"Active Perception and Control from PrSTL Specifications"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2111.02226","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:5880f9c96a274c1f0f7658dc8c5451b65b82a4eed0306e5832eb7c3c89d49d36","target":"record","created_at":"2026-07-05T03:28:48Z","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":"60aaf4ab77484fcb524c4a08041d3c0b4d281f3276fd18446b744b63d84533ab","cross_cats_sorted":["cs.FL","cs.SY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2021-11-03T13:44:45Z","title_canon_sha256":"8162cdf236e763d83cbf0af9b6593513bcc8cecf08b6f607ca4684b509af5db5"},"schema_version":"1.0","source":{"id":"2111.02226","kind":"arxiv","version":1}},"canonical_sha256":"9d64d4952b1a2394ee57040f5fbe9a873d630195085209cc52b45958164700c4","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9d64d4952b1a2394ee57040f5fbe9a873d630195085209cc52b45958164700c4","first_computed_at":"2026-07-05T03:28:48.733930Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T03:28:48.733930Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"IsuEgWSYJeZrmAXLgEO1S8Es+40EI8ccieOL4Jq+KAJX8Qp6qNgjxQAXlo+eftwDZD3uN4+w5LwJI3mXGNh9Cg==","signature_status":"signed_v1","signed_at":"2026-07-05T03:28:48.734394Z","signed_message":"canonical_sha256_bytes"},"source_id":"2111.02226","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5880f9c96a274c1f0f7658dc8c5451b65b82a4eed0306e5832eb7c3c89d49d36","sha256:7e9d7c1bfe018a199b84b4cf777269cef75d558f1ed500d9babcba498c22ca8c"],"state_sha256":"7d709e510e2252ed4d230bd30643440ba259de177e9f2aa1d2ae13a8fe9853d1"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"KgTe7LQuhA/BoVADpZWHSmITjyKhA/LyIIG5xSqnIgArI4NEHJ8CLts7XdpleE0nXWOSRmMuqyUOmtFjfEqpDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-14T12:04:40.105928Z","bundle_sha256":"542793975d8c88fdba61039a8a3ce82b6ca9d6a8b90c14038d48be1ea58949e4"}}