{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:JTX257VB7UR5UB2MNLGRRUDH6Q","short_pith_number":"pith:JTX257VB","canonical_record":{"source":{"id":"1610.08500","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2016-10-26T19:49:09Z","cross_cats_sorted":["cs.AI","cs.LG"],"title_canon_sha256":"d20a3c7d44b09ed501371810327c514185005cdc984989ccb73cf880ca46530b","abstract_canon_sha256":"f88c2c65c1b1821db36121f0a5e9804ede61202065877184c4d18d3fbfc99e6e"},"schema_version":"1.0"},"canonical_sha256":"4cefaefea1fd23da074c6acd18d067f40a6eb931e83b254138fe79b0e266e130","source":{"kind":"arxiv","id":"1610.08500","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1610.08500","created_at":"2026-05-18T01:01:07Z"},{"alias_kind":"arxiv_version","alias_value":"1610.08500v1","created_at":"2026-05-18T01:01:07Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1610.08500","created_at":"2026-05-18T01:01:07Z"},{"alias_kind":"pith_short_12","alias_value":"JTX257VB7UR5","created_at":"2026-05-18T12:30:25Z"},{"alias_kind":"pith_short_16","alias_value":"JTX257VB7UR5UB2M","created_at":"2026-05-18T12:30:25Z"},{"alias_kind":"pith_short_8","alias_value":"JTX257VB","created_at":"2026-05-18T12:30:25Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:JTX257VB7UR5UB2MNLGRRUDH6Q","target":"record","payload":{"canonical_record":{"source":{"id":"1610.08500","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2016-10-26T19:49:09Z","cross_cats_sorted":["cs.AI","cs.LG"],"title_canon_sha256":"d20a3c7d44b09ed501371810327c514185005cdc984989ccb73cf880ca46530b","abstract_canon_sha256":"f88c2c65c1b1821db36121f0a5e9804ede61202065877184c4d18d3fbfc99e6e"},"schema_version":"1.0"},"canonical_sha256":"4cefaefea1fd23da074c6acd18d067f40a6eb931e83b254138fe79b0e266e130","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:01:07.941168Z","signature_b64":"Ukc3jXZyT4K8v8BkfAzUQB1UMtmYf529vG5ipiOkhUoZvHR+oPIW7nHmCX/2A9j+06Y0fa7q0YerwmAlxXbFDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4cefaefea1fd23da074c6acd18d067f40a6eb931e83b254138fe79b0e266e130","last_reissued_at":"2026-05-18T01:01:07.940283Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:01:07.940283Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1610.08500","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-18T01:01:07Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2DQmF/Ibwx6Nli17+D9wBz7W++By27lHXMSnFXrExex6r0Kz6CNbMacLSC01jTX4NAF0/F0dces/7WfUJypfAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T11:14:32.092473Z"},"content_sha256":"7a16e93b68f82b15a95a6607250a34cdf16306babd8e27e8345143c1043e8c97","schema_version":"1.0","event_id":"sha256:7a16e93b68f82b15a95a6607250a34cdf16306babd8e27e8345143c1043e8c97"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:JTX257VB7UR5UB2MNLGRRUDH6Q","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Synthesis of Shared Control Protocols with Provable Safety and Performance Guarantees","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI","cs.LG"],"primary_cat":"cs.RO","authors_text":"Murat Cubuktepe, Nils Jansen, Ufuk Topcu","submitted_at":"2016-10-26T19:49:09Z","abstract_excerpt":"We formalize synthesis of shared control protocols with correctness guarantees for temporal logic specifications. More specifically, we introduce a modeling formalism in which both a human and an autonomy protocol can issue commands to a robot towards performing a certain task. These commands are blended into a joint input to the robot. The autonomy protocol is synthesized using an abstraction of possible human commands accounting for randomness in decisions caused by factors such as fatigue or incomprehensibility of the problem at hand. The synthesis is designed to ensure that the resulting r"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1610.08500","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-18T01:01:07Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7wGqXEA9wHwYHwntEFWvNpQ6T7lh8ixFfBIjGg+vHObOb54yimnDmS0fpCGNAWrgdLv0dwIGhDy57MV+cRa3Dg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T11:14:32.093189Z"},"content_sha256":"c1f349d33051281b5be4ad840f9e898bd7ffd5f8c876692a17047fd0c0630d17","schema_version":"1.0","event_id":"sha256:c1f349d33051281b5be4ad840f9e898bd7ffd5f8c876692a17047fd0c0630d17"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/JTX257VB7UR5UB2MNLGRRUDH6Q/bundle.json","state_url":"https://pith.science/pith/JTX257VB7UR5UB2MNLGRRUDH6Q/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/JTX257VB7UR5UB2MNLGRRUDH6Q/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-07T11:14:32Z","links":{"resolver":"https://pith.science/pith/JTX257VB7UR5UB2MNLGRRUDH6Q","bundle":"https://pith.science/pith/JTX257VB7UR5UB2MNLGRRUDH6Q/bundle.json","state":"https://pith.science/pith/JTX257VB7UR5UB2MNLGRRUDH6Q/state.json","well_known_bundle":"https://pith.science/.well-known/pith/JTX257VB7UR5UB2MNLGRRUDH6Q/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:JTX257VB7UR5UB2MNLGRRUDH6Q","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":"f88c2c65c1b1821db36121f0a5e9804ede61202065877184c4d18d3fbfc99e6e","cross_cats_sorted":["cs.AI","cs.LG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2016-10-26T19:49:09Z","title_canon_sha256":"d20a3c7d44b09ed501371810327c514185005cdc984989ccb73cf880ca46530b"},"schema_version":"1.0","source":{"id":"1610.08500","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1610.08500","created_at":"2026-05-18T01:01:07Z"},{"alias_kind":"arxiv_version","alias_value":"1610.08500v1","created_at":"2026-05-18T01:01:07Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1610.08500","created_at":"2026-05-18T01:01:07Z"},{"alias_kind":"pith_short_12","alias_value":"JTX257VB7UR5","created_at":"2026-05-18T12:30:25Z"},{"alias_kind":"pith_short_16","alias_value":"JTX257VB7UR5UB2M","created_at":"2026-05-18T12:30:25Z"},{"alias_kind":"pith_short_8","alias_value":"JTX257VB","created_at":"2026-05-18T12:30:25Z"}],"graph_snapshots":[{"event_id":"sha256:c1f349d33051281b5be4ad840f9e898bd7ffd5f8c876692a17047fd0c0630d17","target":"graph","created_at":"2026-05-18T01:01:07Z","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 formalize synthesis of shared control protocols with correctness guarantees for temporal logic specifications. More specifically, we introduce a modeling formalism in which both a human and an autonomy protocol can issue commands to a robot towards performing a certain task. These commands are blended into a joint input to the robot. The autonomy protocol is synthesized using an abstraction of possible human commands accounting for randomness in decisions caused by factors such as fatigue or incomprehensibility of the problem at hand. The synthesis is designed to ensure that the resulting r","authors_text":"Murat Cubuktepe, Nils Jansen, Ufuk Topcu","cross_cats":["cs.AI","cs.LG"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2016-10-26T19:49:09Z","title":"Synthesis of Shared Control Protocols with Provable Safety and Performance Guarantees"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1610.08500","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:7a16e93b68f82b15a95a6607250a34cdf16306babd8e27e8345143c1043e8c97","target":"record","created_at":"2026-05-18T01:01:07Z","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":"f88c2c65c1b1821db36121f0a5e9804ede61202065877184c4d18d3fbfc99e6e","cross_cats_sorted":["cs.AI","cs.LG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2016-10-26T19:49:09Z","title_canon_sha256":"d20a3c7d44b09ed501371810327c514185005cdc984989ccb73cf880ca46530b"},"schema_version":"1.0","source":{"id":"1610.08500","kind":"arxiv","version":1}},"canonical_sha256":"4cefaefea1fd23da074c6acd18d067f40a6eb931e83b254138fe79b0e266e130","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4cefaefea1fd23da074c6acd18d067f40a6eb931e83b254138fe79b0e266e130","first_computed_at":"2026-05-18T01:01:07.940283Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:01:07.940283Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Ukc3jXZyT4K8v8BkfAzUQB1UMtmYf529vG5ipiOkhUoZvHR+oPIW7nHmCX/2A9j+06Y0fa7q0YerwmAlxXbFDg==","signature_status":"signed_v1","signed_at":"2026-05-18T01:01:07.941168Z","signed_message":"canonical_sha256_bytes"},"source_id":"1610.08500","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7a16e93b68f82b15a95a6607250a34cdf16306babd8e27e8345143c1043e8c97","sha256:c1f349d33051281b5be4ad840f9e898bd7ffd5f8c876692a17047fd0c0630d17"],"state_sha256":"92f4776bfe3ad13436ce3de586ff7a489e31b18b7614076d68a398e906d4c2eb"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"sNUVbeWTunwKyquAz7dv0bqPjEXbhIpxXwkC6jAeSwE8Dw76pn1adp5z7wx8cDHSQUafCyRN5ZHzjoHMDustBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-07T11:14:32.096847Z","bundle_sha256":"213f410cb278c81a94fa37d21533f11b7b2048e9b66c536fd16df5ef7796d388"}}