{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:65FV2ZVBRX7RKUB3NXDVYBY722","short_pith_number":"pith:65FV2ZVB","canonical_record":{"source":{"id":"1905.06471","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2019-05-15T23:46:58Z","cross_cats_sorted":["cs.AI","cs.LG","math.OC"],"title_canon_sha256":"0de42585b9fd8f98ecf8c58adc280ab0f75a77ee8cb3c61ab1c60e03dd1629f9","abstract_canon_sha256":"37e6a19289f3ade7f97457901256833f96876fc1e807063986e4bfbe89e29706"},"schema_version":"1.0"},"canonical_sha256":"f74b5d66a18dff15503b6dc75c071fd698d832e380fe1bae0891202122a206f7","source":{"kind":"arxiv","id":"1905.06471","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1905.06471","created_at":"2026-05-17T23:46:02Z"},{"alias_kind":"arxiv_version","alias_value":"1905.06471v1","created_at":"2026-05-17T23:46:02Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1905.06471","created_at":"2026-05-17T23:46:02Z"},{"alias_kind":"pith_short_12","alias_value":"65FV2ZVBRX7R","created_at":"2026-05-18T12:33:10Z"},{"alias_kind":"pith_short_16","alias_value":"65FV2ZVBRX7RKUB3","created_at":"2026-05-18T12:33:10Z"},{"alias_kind":"pith_short_8","alias_value":"65FV2ZVB","created_at":"2026-05-18T12:33:10Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:65FV2ZVBRX7RKUB3NXDVYBY722","target":"record","payload":{"canonical_record":{"source":{"id":"1905.06471","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2019-05-15T23:46:58Z","cross_cats_sorted":["cs.AI","cs.LG","math.OC"],"title_canon_sha256":"0de42585b9fd8f98ecf8c58adc280ab0f75a77ee8cb3c61ab1c60e03dd1629f9","abstract_canon_sha256":"37e6a19289f3ade7f97457901256833f96876fc1e807063986e4bfbe89e29706"},"schema_version":"1.0"},"canonical_sha256":"f74b5d66a18dff15503b6dc75c071fd698d832e380fe1bae0891202122a206f7","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:46:02.254089Z","signature_b64":"vdJWhgunDrLQkX77EIXiwmfLS43gpKA4/VS0ANw3rLeCR1pA+Zen+xjR91047FfBUZ6r3I//PU1IK52QyxvXDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f74b5d66a18dff15503b6dc75c071fd698d832e380fe1bae0891202122a206f7","last_reissued_at":"2026-05-17T23:46:02.253432Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:46:02.253432Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1905.06471","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:02Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"L5m6OmC67gysz/BX05bz56Em+pSrsq1sdeB4SOAcDwC8njRGy0J1+edwS93tlfLqBk8RTNihOC0gmaErTPcbBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T15:44:02.993370Z"},"content_sha256":"16a1377baa53ca38d042029ec2b4941de27d19e99e3f73bd87b9341f9b92b479","schema_version":"1.0","event_id":"sha256:16a1377baa53ca38d042029ec2b4941de27d19e99e3f73bd87b9341f9b92b479"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:65FV2ZVBRX7RKUB3NXDVYBY722","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Synthesis of Provably Correct Autonomy Protocols for Shared Control","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI","cs.LG","math.OC"],"primary_cat":"cs.RO","authors_text":"Mohammed Alsiekh, Murat Cubuktepe, Nils Jansen, Ufuk Topcu","submitted_at":"2019-05-15T23:46:58Z","abstract_excerpt":"We synthesize shared control protocols subject to probabilistic temporal logic specifications. More specifically, we develop a framework in which a human and an autonomy protocol can issue commands to carry out a certain task. We blend these commands into a joint input to a robot. We model the interaction between the human and the robot as a Markov decision process (MDP) that represents the shared control scenario. Using inverse reinforcement learning, we obtain an abstraction of the human's behavior and decisions. We use randomized strategies to account for randomness in human's decisions, ca"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1905.06471","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:02Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"mtte1X9GFs031qFlkNPrATe86IVn7AQzYmER/YESNa0ezoZN3+dr1RB3FJTYRE8H9Ne0cTU4Q9cmWf/JkR6YDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T15:44:02.994068Z"},"content_sha256":"f06bc36805d5b48d8e9aa95cdc5951e2d051d816a24b76b7029a4512b7460fc0","schema_version":"1.0","event_id":"sha256:f06bc36805d5b48d8e9aa95cdc5951e2d051d816a24b76b7029a4512b7460fc0"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/65FV2ZVBRX7RKUB3NXDVYBY722/bundle.json","state_url":"https://pith.science/pith/65FV2ZVBRX7RKUB3NXDVYBY722/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/65FV2ZVBRX7RKUB3NXDVYBY722/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-07T15:44:02Z","links":{"resolver":"https://pith.science/pith/65FV2ZVBRX7RKUB3NXDVYBY722","bundle":"https://pith.science/pith/65FV2ZVBRX7RKUB3NXDVYBY722/bundle.json","state":"https://pith.science/pith/65FV2ZVBRX7RKUB3NXDVYBY722/state.json","well_known_bundle":"https://pith.science/.well-known/pith/65FV2ZVBRX7RKUB3NXDVYBY722/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:65FV2ZVBRX7RKUB3NXDVYBY722","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":"37e6a19289f3ade7f97457901256833f96876fc1e807063986e4bfbe89e29706","cross_cats_sorted":["cs.AI","cs.LG","math.OC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2019-05-15T23:46:58Z","title_canon_sha256":"0de42585b9fd8f98ecf8c58adc280ab0f75a77ee8cb3c61ab1c60e03dd1629f9"},"schema_version":"1.0","source":{"id":"1905.06471","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1905.06471","created_at":"2026-05-17T23:46:02Z"},{"alias_kind":"arxiv_version","alias_value":"1905.06471v1","created_at":"2026-05-17T23:46:02Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1905.06471","created_at":"2026-05-17T23:46:02Z"},{"alias_kind":"pith_short_12","alias_value":"65FV2ZVBRX7R","created_at":"2026-05-18T12:33:10Z"},{"alias_kind":"pith_short_16","alias_value":"65FV2ZVBRX7RKUB3","created_at":"2026-05-18T12:33:10Z"},{"alias_kind":"pith_short_8","alias_value":"65FV2ZVB","created_at":"2026-05-18T12:33:10Z"}],"graph_snapshots":[{"event_id":"sha256:f06bc36805d5b48d8e9aa95cdc5951e2d051d816a24b76b7029a4512b7460fc0","target":"graph","created_at":"2026-05-17T23:46:02Z","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 synthesize shared control protocols subject to probabilistic temporal logic specifications. More specifically, we develop a framework in which a human and an autonomy protocol can issue commands to carry out a certain task. We blend these commands into a joint input to a robot. We model the interaction between the human and the robot as a Markov decision process (MDP) that represents the shared control scenario. Using inverse reinforcement learning, we obtain an abstraction of the human's behavior and decisions. We use randomized strategies to account for randomness in human's decisions, ca","authors_text":"Mohammed Alsiekh, Murat Cubuktepe, Nils Jansen, Ufuk Topcu","cross_cats":["cs.AI","cs.LG","math.OC"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2019-05-15T23:46:58Z","title":"Synthesis of Provably Correct Autonomy Protocols for Shared Control"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1905.06471","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:16a1377baa53ca38d042029ec2b4941de27d19e99e3f73bd87b9341f9b92b479","target":"record","created_at":"2026-05-17T23:46:02Z","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":"37e6a19289f3ade7f97457901256833f96876fc1e807063986e4bfbe89e29706","cross_cats_sorted":["cs.AI","cs.LG","math.OC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2019-05-15T23:46:58Z","title_canon_sha256":"0de42585b9fd8f98ecf8c58adc280ab0f75a77ee8cb3c61ab1c60e03dd1629f9"},"schema_version":"1.0","source":{"id":"1905.06471","kind":"arxiv","version":1}},"canonical_sha256":"f74b5d66a18dff15503b6dc75c071fd698d832e380fe1bae0891202122a206f7","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f74b5d66a18dff15503b6dc75c071fd698d832e380fe1bae0891202122a206f7","first_computed_at":"2026-05-17T23:46:02.253432Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:46:02.253432Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"vdJWhgunDrLQkX77EIXiwmfLS43gpKA4/VS0ANw3rLeCR1pA+Zen+xjR91047FfBUZ6r3I//PU1IK52QyxvXDA==","signature_status":"signed_v1","signed_at":"2026-05-17T23:46:02.254089Z","signed_message":"canonical_sha256_bytes"},"source_id":"1905.06471","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:16a1377baa53ca38d042029ec2b4941de27d19e99e3f73bd87b9341f9b92b479","sha256:f06bc36805d5b48d8e9aa95cdc5951e2d051d816a24b76b7029a4512b7460fc0"],"state_sha256":"b7a0659ba8a1249ca223ad185212585537a0ad7a738487edc12a5ae939cb487a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ntRQX5UzpBoTtP5/vAs1pahlwDfjT/mYdrPo8IdcLZLuxOeI95lB/ogKieypbP4Ka64xlrFQKzpxkgSykGagDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-07T15:44:02.997722Z","bundle_sha256":"f5c816502c243e0246c57d5f6c392069a90fd3c3ac0f2b94171cdceff8497463"}}