{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2018:MEVF5Z36WBQQHZ6YL3RCBXOCSS","short_pith_number":"pith:MEVF5Z36","schema_version":"1.0","canonical_sha256":"612a5ee77eb06103e7d85ee220ddc294a5ebc0abba99b1485800fe63d98a68cb","source":{"kind":"arxiv","id":"1805.11996","version":3},"attestation_state":"computed","paper":{"title":"Robotics and Integrated Formal Methods: Necessity meets Opportunity","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.RO"],"primary_cat":"cs.SE","authors_text":"Marie Farrell, Matt Luckcuck, Michael Fisher","submitted_at":"2018-05-02T11:52:55Z","abstract_excerpt":"Robotic systems are multi-dimensional entities, combining both hardware and software, that are heavily dependent on, and influenced by, interactions with the real world. They can be variously categorised as embedded, cyberphysical, real-time, hybrid, adaptive and even autonomous systems, with a typical robotic system being likely to contain all of these aspects. The techniques for developing and verifying each of these system varieties are often quite distinct. This, together with the sheer complexity of robotic systems, leads us to argue that diverse formal techniques must be integrated in or"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1805.11996","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-05-02T11:52:55Z","cross_cats_sorted":["cs.RO"],"title_canon_sha256":"c9c530c67794fee8d8eb8f876cb4180f4f16f4c95a084f27620c7b72dcff248d","abstract_canon_sha256":"fc5260c1c3e583093d58c4690156f9a402ccb2b7e3204a9263ab82611fb5cae6"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:06:39.646133Z","signature_b64":"qLzvbj50Lt6I6ZhpKYuQtqivFMpgNYrzmF73IWoUYFfo7Gyazhr5wDrikSY0HdeQn+xmMptolfKIyDZmWnh2CA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"612a5ee77eb06103e7d85ee220ddc294a5ebc0abba99b1485800fe63d98a68cb","last_reissued_at":"2026-05-18T00:06:39.645519Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:06:39.645519Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Robotics and Integrated Formal Methods: Necessity meets Opportunity","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.RO"],"primary_cat":"cs.SE","authors_text":"Marie Farrell, Matt Luckcuck, Michael Fisher","submitted_at":"2018-05-02T11:52:55Z","abstract_excerpt":"Robotic systems are multi-dimensional entities, combining both hardware and software, that are heavily dependent on, and influenced by, interactions with the real world. They can be variously categorised as embedded, cyberphysical, real-time, hybrid, adaptive and even autonomous systems, with a typical robotic system being likely to contain all of these aspects. The techniques for developing and verifying each of these system varieties are often quite distinct. This, together with the sheer complexity of robotic systems, leads us to argue that diverse formal techniques must be integrated in or"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1805.11996","kind":"arxiv","version":3},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1805.11996","created_at":"2026-05-18T00:06:39.645614+00:00"},{"alias_kind":"arxiv_version","alias_value":"1805.11996v3","created_at":"2026-05-18T00:06:39.645614+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1805.11996","created_at":"2026-05-18T00:06:39.645614+00:00"},{"alias_kind":"pith_short_12","alias_value":"MEVF5Z36WBQQ","created_at":"2026-05-18T12:32:37.024351+00:00"},{"alias_kind":"pith_short_16","alias_value":"MEVF5Z36WBQQHZ6Y","created_at":"2026-05-18T12:32:37.024351+00:00"},{"alias_kind":"pith_short_8","alias_value":"MEVF5Z36","created_at":"2026-05-18T12:32:37.024351+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/MEVF5Z36WBQQHZ6YL3RCBXOCSS","json":"https://pith.science/pith/MEVF5Z36WBQQHZ6YL3RCBXOCSS.json","graph_json":"https://pith.science/api/pith-number/MEVF5Z36WBQQHZ6YL3RCBXOCSS/graph.json","events_json":"https://pith.science/api/pith-number/MEVF5Z36WBQQHZ6YL3RCBXOCSS/events.json","paper":"https://pith.science/paper/MEVF5Z36"},"agent_actions":{"view_html":"https://pith.science/pith/MEVF5Z36WBQQHZ6YL3RCBXOCSS","download_json":"https://pith.science/pith/MEVF5Z36WBQQHZ6YL3RCBXOCSS.json","view_paper":"https://pith.science/paper/MEVF5Z36","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1805.11996&json=true","fetch_graph":"https://pith.science/api/pith-number/MEVF5Z36WBQQHZ6YL3RCBXOCSS/graph.json","fetch_events":"https://pith.science/api/pith-number/MEVF5Z36WBQQHZ6YL3RCBXOCSS/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/MEVF5Z36WBQQHZ6YL3RCBXOCSS/action/timestamp_anchor","attest_storage":"https://pith.science/pith/MEVF5Z36WBQQHZ6YL3RCBXOCSS/action/storage_attestation","attest_author":"https://pith.science/pith/MEVF5Z36WBQQHZ6YL3RCBXOCSS/action/author_attestation","sign_citation":"https://pith.science/pith/MEVF5Z36WBQQHZ6YL3RCBXOCSS/action/citation_signature","submit_replication":"https://pith.science/pith/MEVF5Z36WBQQHZ6YL3RCBXOCSS/action/replication_record"}},"created_at":"2026-05-18T00:06:39.645614+00:00","updated_at":"2026-05-18T00:06:39.645614+00:00"}