{"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"}