{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:JUHL4MKBQMLPK5DXF26OKSUL2H","short_pith_number":"pith:JUHL4MKB","canonical_record":{"source":{"id":"1501.05153","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2015-01-21T12:32:42Z","cross_cats_sorted":["cs.MA"],"title_canon_sha256":"601f6553f40615214a1c06f07e29d865f8364dd8ad66f27f3c37b7f4fe87bf03","abstract_canon_sha256":"7f9739f404db0616b263314c60e2f9835855046a299656cf2ca14ff9b70111f5"},"schema_version":"1.0"},"canonical_sha256":"4d0ebe31418316f574772ebce54a8bd1df561256336873660ccb9bce1e71de5f","source":{"kind":"arxiv","id":"1501.05153","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1501.05153","created_at":"2026-05-18T02:29:00Z"},{"alias_kind":"arxiv_version","alias_value":"1501.05153v1","created_at":"2026-05-18T02:29:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1501.05153","created_at":"2026-05-18T02:29:00Z"},{"alias_kind":"pith_short_12","alias_value":"JUHL4MKBQMLP","created_at":"2026-05-18T12:29:27Z"},{"alias_kind":"pith_short_16","alias_value":"JUHL4MKBQMLPK5DX","created_at":"2026-05-18T12:29:27Z"},{"alias_kind":"pith_short_8","alias_value":"JUHL4MKB","created_at":"2026-05-18T12:29:27Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:JUHL4MKBQMLPK5DXF26OKSUL2H","target":"record","payload":{"canonical_record":{"source":{"id":"1501.05153","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2015-01-21T12:32:42Z","cross_cats_sorted":["cs.MA"],"title_canon_sha256":"601f6553f40615214a1c06f07e29d865f8364dd8ad66f27f3c37b7f4fe87bf03","abstract_canon_sha256":"7f9739f404db0616b263314c60e2f9835855046a299656cf2ca14ff9b70111f5"},"schema_version":"1.0"},"canonical_sha256":"4d0ebe31418316f574772ebce54a8bd1df561256336873660ccb9bce1e71de5f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:29:00.677107Z","signature_b64":"QIT1bs2U3dND/Zn1ofoXPqdAd9IKzVXPzxbH88r1opFx6P/fxV2iibVZvQBP5oK5Z7NZMw6jGcPF9eI+W8PQDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4d0ebe31418316f574772ebce54a8bd1df561256336873660ccb9bce1e71de5f","last_reissued_at":"2026-05-18T02:29:00.676676Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:29:00.676676Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1501.05153","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-18T02:29:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"O0DocNaiVJFVev19va0Y5HEwm3xT/OPAvZURdktcRS5ANmy5AJy9LcMn+iKwVkbCbKkm3uk6Okaa2FJ9HNRjCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-04T15:26:42.108457Z"},"content_sha256":"bb7de6e63f104d92579d67c855eaf8b36192686d3630641e9eaa3021bda920ff","schema_version":"1.0","event_id":"sha256:bb7de6e63f104d92579d67c855eaf8b36192686d3630641e9eaa3021bda920ff"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:JUHL4MKBQMLPK5DXF26OKSUL2H","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Formal requirement and architecture specifications of a multi-agent robotic system","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.MA"],"primary_cat":"cs.SE","authors_text":"Flavio Oquendo, Nadeem Akhtar, Yann Le Guyadec","submitted_at":"2015-01-21T12:32:42Z","abstract_excerpt":"One of the most challenging tasks in specification engineering for a multi-agent robotic system is to formally specify and architect the system, especially as a multi-agent robotic system is concurrent having concurrent processing, and often having dynamic environment. The formal requirement and architecture specifications along with step-wise refinement from abstract to concrete concepts play major role in formalizing the system. This paper proposes the formal requirement and architecture specifications aspects of an approach that supports analysis with respect to functional as well as non-fu"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1501.05153","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-18T02:29:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"MD7atYdGsMBUIgeQHop2/Bkq9bkx9vne6WVR2/vkqq3KiyHQrAI013rUFo+APN4cKVo1lb7TfYGUhdJFGt/xAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-04T15:26:42.108806Z"},"content_sha256":"ee96cc19a93194cece1b21cf6d4c4bef10ed382cf5c79e06202cbbec97fb4236","schema_version":"1.0","event_id":"sha256:ee96cc19a93194cece1b21cf6d4c4bef10ed382cf5c79e06202cbbec97fb4236"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/JUHL4MKBQMLPK5DXF26OKSUL2H/bundle.json","state_url":"https://pith.science/pith/JUHL4MKBQMLPK5DXF26OKSUL2H/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/JUHL4MKBQMLPK5DXF26OKSUL2H/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-07-04T15:26:42Z","links":{"resolver":"https://pith.science/pith/JUHL4MKBQMLPK5DXF26OKSUL2H","bundle":"https://pith.science/pith/JUHL4MKBQMLPK5DXF26OKSUL2H/bundle.json","state":"https://pith.science/pith/JUHL4MKBQMLPK5DXF26OKSUL2H/state.json","well_known_bundle":"https://pith.science/.well-known/pith/JUHL4MKBQMLPK5DXF26OKSUL2H/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:JUHL4MKBQMLPK5DXF26OKSUL2H","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":"7f9739f404db0616b263314c60e2f9835855046a299656cf2ca14ff9b70111f5","cross_cats_sorted":["cs.MA"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2015-01-21T12:32:42Z","title_canon_sha256":"601f6553f40615214a1c06f07e29d865f8364dd8ad66f27f3c37b7f4fe87bf03"},"schema_version":"1.0","source":{"id":"1501.05153","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1501.05153","created_at":"2026-05-18T02:29:00Z"},{"alias_kind":"arxiv_version","alias_value":"1501.05153v1","created_at":"2026-05-18T02:29:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1501.05153","created_at":"2026-05-18T02:29:00Z"},{"alias_kind":"pith_short_12","alias_value":"JUHL4MKBQMLP","created_at":"2026-05-18T12:29:27Z"},{"alias_kind":"pith_short_16","alias_value":"JUHL4MKBQMLPK5DX","created_at":"2026-05-18T12:29:27Z"},{"alias_kind":"pith_short_8","alias_value":"JUHL4MKB","created_at":"2026-05-18T12:29:27Z"}],"graph_snapshots":[{"event_id":"sha256:ee96cc19a93194cece1b21cf6d4c4bef10ed382cf5c79e06202cbbec97fb4236","target":"graph","created_at":"2026-05-18T02:29:00Z","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":"One of the most challenging tasks in specification engineering for a multi-agent robotic system is to formally specify and architect the system, especially as a multi-agent robotic system is concurrent having concurrent processing, and often having dynamic environment. The formal requirement and architecture specifications along with step-wise refinement from abstract to concrete concepts play major role in formalizing the system. This paper proposes the formal requirement and architecture specifications aspects of an approach that supports analysis with respect to functional as well as non-fu","authors_text":"Flavio Oquendo, Nadeem Akhtar, Yann Le Guyadec","cross_cats":["cs.MA"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2015-01-21T12:32:42Z","title":"Formal requirement and architecture specifications of a multi-agent robotic system"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1501.05153","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:bb7de6e63f104d92579d67c855eaf8b36192686d3630641e9eaa3021bda920ff","target":"record","created_at":"2026-05-18T02:29:00Z","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":"7f9739f404db0616b263314c60e2f9835855046a299656cf2ca14ff9b70111f5","cross_cats_sorted":["cs.MA"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2015-01-21T12:32:42Z","title_canon_sha256":"601f6553f40615214a1c06f07e29d865f8364dd8ad66f27f3c37b7f4fe87bf03"},"schema_version":"1.0","source":{"id":"1501.05153","kind":"arxiv","version":1}},"canonical_sha256":"4d0ebe31418316f574772ebce54a8bd1df561256336873660ccb9bce1e71de5f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4d0ebe31418316f574772ebce54a8bd1df561256336873660ccb9bce1e71de5f","first_computed_at":"2026-05-18T02:29:00.676676Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:29:00.676676Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"QIT1bs2U3dND/Zn1ofoXPqdAd9IKzVXPzxbH88r1opFx6P/fxV2iibVZvQBP5oK5Z7NZMw6jGcPF9eI+W8PQDw==","signature_status":"signed_v1","signed_at":"2026-05-18T02:29:00.677107Z","signed_message":"canonical_sha256_bytes"},"source_id":"1501.05153","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:bb7de6e63f104d92579d67c855eaf8b36192686d3630641e9eaa3021bda920ff","sha256:ee96cc19a93194cece1b21cf6d4c4bef10ed382cf5c79e06202cbbec97fb4236"],"state_sha256":"5c94767d15d9f27d7baa206137be34d0e2c0de5baa1d0b4ad6a41caaf6402244"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"T8lJZEHmxI0LycY+rX4p0hAPTqAl7Kn8DzcRBvhGN2AtVLbeTm25bXQbhhYBcGGsiuvufSH/zz2bFLlIy87eBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-04T15:26:42.110678Z","bundle_sha256":"ecfda753970deed7bf83ff3d7e3dca67e65e195f951a930b152b8f7245f5f833"}}