{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:KEYKY6S5P3ZC6LTBXRXVFIIARM","short_pith_number":"pith:KEYKY6S5","canonical_record":{"source":{"id":"1901.02077","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-01-07T21:34:33Z","cross_cats_sorted":["cs.RO"],"title_canon_sha256":"cd98f82f8acf7a0b306cb9b0059708ff52a0d183be084bcc31d9c7a4ce874a15","abstract_canon_sha256":"5ddcb6e110fc0b177d6cd11c6970d32b0e982a4943237483b179e443aea70895"},"schema_version":"1.0"},"canonical_sha256":"5130ac7a5d7ef22f2e61bc6f52a1008b37adb5eccaad32477e700fbdd7e68123","source":{"kind":"arxiv","id":"1901.02077","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1901.02077","created_at":"2026-05-17T23:56:44Z"},{"alias_kind":"arxiv_version","alias_value":"1901.02077v1","created_at":"2026-05-17T23:56:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1901.02077","created_at":"2026-05-17T23:56:44Z"},{"alias_kind":"pith_short_12","alias_value":"KEYKY6S5P3ZC","created_at":"2026-05-18T12:33:21Z"},{"alias_kind":"pith_short_16","alias_value":"KEYKY6S5P3ZC6LTB","created_at":"2026-05-18T12:33:21Z"},{"alias_kind":"pith_short_8","alias_value":"KEYKY6S5","created_at":"2026-05-18T12:33:21Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:KEYKY6S5P3ZC6LTBXRXVFIIARM","target":"record","payload":{"canonical_record":{"source":{"id":"1901.02077","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-01-07T21:34:33Z","cross_cats_sorted":["cs.RO"],"title_canon_sha256":"cd98f82f8acf7a0b306cb9b0059708ff52a0d183be084bcc31d9c7a4ce874a15","abstract_canon_sha256":"5ddcb6e110fc0b177d6cd11c6970d32b0e982a4943237483b179e443aea70895"},"schema_version":"1.0"},"canonical_sha256":"5130ac7a5d7ef22f2e61bc6f52a1008b37adb5eccaad32477e700fbdd7e68123","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:56:44.051646Z","signature_b64":"vXlm8aXrSadb0BYRnBMIYbOXz8J9UxY9WOcIc6BFrVN++2jpcZRNhzO2PVpx93XLcxmU2403BFQA0HFZeCKuCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5130ac7a5d7ef22f2e61bc6f52a1008b37adb5eccaad32477e700fbdd7e68123","last_reissued_at":"2026-05-17T23:56:44.051184Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:56:44.051184Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1901.02077","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:56:44Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"87MLvUEWuQA7zLj1Oo8vUIf1cGbvDANVBo92wxGRUyPE1sVJrOuvuEPFbwPEFqGMB7mdPtbH8xeryPwJG4KKAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T15:58:20.648121Z"},"content_sha256":"e767509f8e986fe6e290b5d22b5135aa2d66ad9aa5b59db0cec30f4afec0a863","schema_version":"1.0","event_id":"sha256:e767509f8e986fe6e290b5d22b5135aa2d66ad9aa5b59db0cec30f4afec0a863"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:KEYKY6S5P3ZC6LTBXRXVFIIARM","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Specification Patterns for Robotic Missions","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.RO"],"primary_cat":"cs.SE","authors_text":"Carlo Ghezzi, Christos Tsigkanos, Claudio Menghi, Patrizio Pelliccione, Thorsten Berger","submitted_at":"2019-01-07T21:34:33Z","abstract_excerpt":"Mobile and general-purpose robots increasingly support our everyday life, requiring dependable robotics control software. Creating such software mainly amounts to implementing their complex behaviors known as missions. Recognizing the need, a large number of domain-specific specification languages has been proposed. These, in addition to traditional logical languages, allow the use of formally specified missions for synthesis, verification, simulation, or guiding the implementation. For instance, the logical language LTL is commonly used by experts to specify missions, as an input for planners"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1901.02077","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:56:44Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"fFCxJy4xOn3uzx2c7gFE5dHkcQvDB59exmSpHoWlw55sKAjC+c77/acTWQKQBKFcrzK4ibT48BWOpTYcBH6bDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T15:58:20.648473Z"},"content_sha256":"a28ad76832fb91a4624c4e42b121b0ee0d3093e6b48426331f4440f35d122ee2","schema_version":"1.0","event_id":"sha256:a28ad76832fb91a4624c4e42b121b0ee0d3093e6b48426331f4440f35d122ee2"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/KEYKY6S5P3ZC6LTBXRXVFIIARM/bundle.json","state_url":"https://pith.science/pith/KEYKY6S5P3ZC6LTBXRXVFIIARM/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/KEYKY6S5P3ZC6LTBXRXVFIIARM/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-05T15:58:20Z","links":{"resolver":"https://pith.science/pith/KEYKY6S5P3ZC6LTBXRXVFIIARM","bundle":"https://pith.science/pith/KEYKY6S5P3ZC6LTBXRXVFIIARM/bundle.json","state":"https://pith.science/pith/KEYKY6S5P3ZC6LTBXRXVFIIARM/state.json","well_known_bundle":"https://pith.science/.well-known/pith/KEYKY6S5P3ZC6LTBXRXVFIIARM/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:KEYKY6S5P3ZC6LTBXRXVFIIARM","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":"5ddcb6e110fc0b177d6cd11c6970d32b0e982a4943237483b179e443aea70895","cross_cats_sorted":["cs.RO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-01-07T21:34:33Z","title_canon_sha256":"cd98f82f8acf7a0b306cb9b0059708ff52a0d183be084bcc31d9c7a4ce874a15"},"schema_version":"1.0","source":{"id":"1901.02077","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1901.02077","created_at":"2026-05-17T23:56:44Z"},{"alias_kind":"arxiv_version","alias_value":"1901.02077v1","created_at":"2026-05-17T23:56:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1901.02077","created_at":"2026-05-17T23:56:44Z"},{"alias_kind":"pith_short_12","alias_value":"KEYKY6S5P3ZC","created_at":"2026-05-18T12:33:21Z"},{"alias_kind":"pith_short_16","alias_value":"KEYKY6S5P3ZC6LTB","created_at":"2026-05-18T12:33:21Z"},{"alias_kind":"pith_short_8","alias_value":"KEYKY6S5","created_at":"2026-05-18T12:33:21Z"}],"graph_snapshots":[{"event_id":"sha256:a28ad76832fb91a4624c4e42b121b0ee0d3093e6b48426331f4440f35d122ee2","target":"graph","created_at":"2026-05-17T23:56:44Z","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":"Mobile and general-purpose robots increasingly support our everyday life, requiring dependable robotics control software. Creating such software mainly amounts to implementing their complex behaviors known as missions. Recognizing the need, a large number of domain-specific specification languages has been proposed. These, in addition to traditional logical languages, allow the use of formally specified missions for synthesis, verification, simulation, or guiding the implementation. For instance, the logical language LTL is commonly used by experts to specify missions, as an input for planners","authors_text":"Carlo Ghezzi, Christos Tsigkanos, Claudio Menghi, Patrizio Pelliccione, Thorsten Berger","cross_cats":["cs.RO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-01-07T21:34:33Z","title":"Specification Patterns for Robotic Missions"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1901.02077","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:e767509f8e986fe6e290b5d22b5135aa2d66ad9aa5b59db0cec30f4afec0a863","target":"record","created_at":"2026-05-17T23:56:44Z","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":"5ddcb6e110fc0b177d6cd11c6970d32b0e982a4943237483b179e443aea70895","cross_cats_sorted":["cs.RO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-01-07T21:34:33Z","title_canon_sha256":"cd98f82f8acf7a0b306cb9b0059708ff52a0d183be084bcc31d9c7a4ce874a15"},"schema_version":"1.0","source":{"id":"1901.02077","kind":"arxiv","version":1}},"canonical_sha256":"5130ac7a5d7ef22f2e61bc6f52a1008b37adb5eccaad32477e700fbdd7e68123","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5130ac7a5d7ef22f2e61bc6f52a1008b37adb5eccaad32477e700fbdd7e68123","first_computed_at":"2026-05-17T23:56:44.051184Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:56:44.051184Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"vXlm8aXrSadb0BYRnBMIYbOXz8J9UxY9WOcIc6BFrVN++2jpcZRNhzO2PVpx93XLcxmU2403BFQA0HFZeCKuCQ==","signature_status":"signed_v1","signed_at":"2026-05-17T23:56:44.051646Z","signed_message":"canonical_sha256_bytes"},"source_id":"1901.02077","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e767509f8e986fe6e290b5d22b5135aa2d66ad9aa5b59db0cec30f4afec0a863","sha256:a28ad76832fb91a4624c4e42b121b0ee0d3093e6b48426331f4440f35d122ee2"],"state_sha256":"70ced62bfa546fd6fe457cf7fc80424c9b206ad3edccdbc61a34c502dfa0ba19"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xpNzHrDhdOqqIlXWcL7Pcma+5knLOOV140liNftMukYf1f8OxMgePh5mcotxeC8XosUDJv2cEsZxagTGVaUtBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-05T15:58:20.650372Z","bundle_sha256":"4245721c40774624ece0cdf20e4570a55e37b0e30d54f2c2dbf295b4628bb651"}}