{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:2Y6HL7BDBHFGPJ6YH5LC2DMRNU","short_pith_number":"pith:2Y6HL7BD","canonical_record":{"source":{"id":"1804.06827","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2018-04-18T17:26:14Z","cross_cats_sorted":[],"title_canon_sha256":"e3302b71443532a5b138c033868791de43a08aa59f6e779d85b5ca2204fdfc3f","abstract_canon_sha256":"3635233ee8cd3639e95bfb34fcabe5b57e3766f1c80fb4171dd004b44fa2e327"},"schema_version":"1.0"},"canonical_sha256":"d63c75fc2309ca67a7d83f562d0d916d1adf72d6d877b5ef57c32f3406c1196f","source":{"kind":"arxiv","id":"1804.06827","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1804.06827","created_at":"2026-05-18T00:18:05Z"},{"alias_kind":"arxiv_version","alias_value":"1804.06827v1","created_at":"2026-05-18T00:18:05Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1804.06827","created_at":"2026-05-18T00:18:05Z"},{"alias_kind":"pith_short_12","alias_value":"2Y6HL7BDBHFG","created_at":"2026-05-18T12:32:02Z"},{"alias_kind":"pith_short_16","alias_value":"2Y6HL7BDBHFGPJ6Y","created_at":"2026-05-18T12:32:02Z"},{"alias_kind":"pith_short_8","alias_value":"2Y6HL7BD","created_at":"2026-05-18T12:32:02Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:2Y6HL7BDBHFGPJ6YH5LC2DMRNU","target":"record","payload":{"canonical_record":{"source":{"id":"1804.06827","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2018-04-18T17:26:14Z","cross_cats_sorted":[],"title_canon_sha256":"e3302b71443532a5b138c033868791de43a08aa59f6e779d85b5ca2204fdfc3f","abstract_canon_sha256":"3635233ee8cd3639e95bfb34fcabe5b57e3766f1c80fb4171dd004b44fa2e327"},"schema_version":"1.0"},"canonical_sha256":"d63c75fc2309ca67a7d83f562d0d916d1adf72d6d877b5ef57c32f3406c1196f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:18:05.644766Z","signature_b64":"EqHw1Czd8ei9VKrcbYJ775SdZpVNJgbTvcLgebv8NYcH4YMfCmkhtAvM2rvmbADGOPMlo9LOjlGdNZbXw4ARCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d63c75fc2309ca67a7d83f562d0d916d1adf72d6d877b5ef57c32f3406c1196f","last_reissued_at":"2026-05-18T00:18:05.644221Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:18:05.644221Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1804.06827","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-18T00:18:05Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8+1eiKe4XFOCSXvCxaGLnu5cUqH4TfJ6cfD0ACqyq3XfM9gfQMDYqt4k/TJhWmUhvN8vCJMnR9xMVqMqES3GCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T13:10:20.844749Z"},"content_sha256":"041849db14bbf94666fdf8c64095c55c70e4fd3f64910b71dee10c74348f4742","schema_version":"1.0","event_id":"sha256:041849db14bbf94666fdf8c64095c55c70e4fd3f64910b71dee10c74348f4742"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:2Y6HL7BDBHFGPJ6YH5LC2DMRNU","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Provable Emergent Pattern Formation by a Swarm of Anonymous, Homogeneous, Non-Communicating, Reactive Robots with Limited Relative Sensing and no Global Knowledge or Positioning","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.RO","authors_text":"Eberhard K.A. Gill, Guido C.H.E. de Croon, Jian Guo, Mario Coppola","submitted_at":"2018-04-18T17:26:14Z","abstract_excerpt":"In this work, we explore emergent behaviors by swarms of anonymous, homogeneous, non-communicating, reactive robots that do not know their global position and have limited relative sensing. We introduce a novel method that enables such severely limited robots to autonomously arrange in a desired pattern and maintain it. The method includes an automatic proof procedure to check whether a given pattern will be achieved by the swarm from any initial configuration. An attractive feature of this proof procedure is that it is local in nature, avoiding as much as possible the computational explosion "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1804.06827","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-18T00:18:05Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"XSjN3/7HGVbPIakMebEV421q/vUnusPNQAM5bJbu38T0czRpkE98uWm+eJwgoaOccFT5cmrFIDvOAK7RQoLxBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T13:10:20.845103Z"},"content_sha256":"d742e03137afb96ee0344f74210a74f44fe6e7fe4fb0ccb908a5fc556b13d354","schema_version":"1.0","event_id":"sha256:d742e03137afb96ee0344f74210a74f44fe6e7fe4fb0ccb908a5fc556b13d354"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/2Y6HL7BDBHFGPJ6YH5LC2DMRNU/bundle.json","state_url":"https://pith.science/pith/2Y6HL7BDBHFGPJ6YH5LC2DMRNU/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/2Y6HL7BDBHFGPJ6YH5LC2DMRNU/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-03T13:10:20Z","links":{"resolver":"https://pith.science/pith/2Y6HL7BDBHFGPJ6YH5LC2DMRNU","bundle":"https://pith.science/pith/2Y6HL7BDBHFGPJ6YH5LC2DMRNU/bundle.json","state":"https://pith.science/pith/2Y6HL7BDBHFGPJ6YH5LC2DMRNU/state.json","well_known_bundle":"https://pith.science/.well-known/pith/2Y6HL7BDBHFGPJ6YH5LC2DMRNU/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:2Y6HL7BDBHFGPJ6YH5LC2DMRNU","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":"3635233ee8cd3639e95bfb34fcabe5b57e3766f1c80fb4171dd004b44fa2e327","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2018-04-18T17:26:14Z","title_canon_sha256":"e3302b71443532a5b138c033868791de43a08aa59f6e779d85b5ca2204fdfc3f"},"schema_version":"1.0","source":{"id":"1804.06827","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1804.06827","created_at":"2026-05-18T00:18:05Z"},{"alias_kind":"arxiv_version","alias_value":"1804.06827v1","created_at":"2026-05-18T00:18:05Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1804.06827","created_at":"2026-05-18T00:18:05Z"},{"alias_kind":"pith_short_12","alias_value":"2Y6HL7BDBHFG","created_at":"2026-05-18T12:32:02Z"},{"alias_kind":"pith_short_16","alias_value":"2Y6HL7BDBHFGPJ6Y","created_at":"2026-05-18T12:32:02Z"},{"alias_kind":"pith_short_8","alias_value":"2Y6HL7BD","created_at":"2026-05-18T12:32:02Z"}],"graph_snapshots":[{"event_id":"sha256:d742e03137afb96ee0344f74210a74f44fe6e7fe4fb0ccb908a5fc556b13d354","target":"graph","created_at":"2026-05-18T00:18:05Z","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":"In this work, we explore emergent behaviors by swarms of anonymous, homogeneous, non-communicating, reactive robots that do not know their global position and have limited relative sensing. We introduce a novel method that enables such severely limited robots to autonomously arrange in a desired pattern and maintain it. The method includes an automatic proof procedure to check whether a given pattern will be achieved by the swarm from any initial configuration. An attractive feature of this proof procedure is that it is local in nature, avoiding as much as possible the computational explosion ","authors_text":"Eberhard K.A. Gill, Guido C.H.E. de Croon, Jian Guo, Mario Coppola","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2018-04-18T17:26:14Z","title":"Provable Emergent Pattern Formation by a Swarm of Anonymous, Homogeneous, Non-Communicating, Reactive Robots with Limited Relative Sensing and no Global Knowledge or Positioning"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1804.06827","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:041849db14bbf94666fdf8c64095c55c70e4fd3f64910b71dee10c74348f4742","target":"record","created_at":"2026-05-18T00:18:05Z","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":"3635233ee8cd3639e95bfb34fcabe5b57e3766f1c80fb4171dd004b44fa2e327","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2018-04-18T17:26:14Z","title_canon_sha256":"e3302b71443532a5b138c033868791de43a08aa59f6e779d85b5ca2204fdfc3f"},"schema_version":"1.0","source":{"id":"1804.06827","kind":"arxiv","version":1}},"canonical_sha256":"d63c75fc2309ca67a7d83f562d0d916d1adf72d6d877b5ef57c32f3406c1196f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d63c75fc2309ca67a7d83f562d0d916d1adf72d6d877b5ef57c32f3406c1196f","first_computed_at":"2026-05-18T00:18:05.644221Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:18:05.644221Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"EqHw1Czd8ei9VKrcbYJ775SdZpVNJgbTvcLgebv8NYcH4YMfCmkhtAvM2rvmbADGOPMlo9LOjlGdNZbXw4ARCQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:18:05.644766Z","signed_message":"canonical_sha256_bytes"},"source_id":"1804.06827","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:041849db14bbf94666fdf8c64095c55c70e4fd3f64910b71dee10c74348f4742","sha256:d742e03137afb96ee0344f74210a74f44fe6e7fe4fb0ccb908a5fc556b13d354"],"state_sha256":"297b5053748dfcedc98d6c0c0708e25ffc4830cbb40256433ef630c5d48140a3"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ODQWCcbtGLaxqv/WpRDhxXTP9KSumZ0ExfeWQMNnLu1qdForL714ZkKNPMJqswG82sVvLddRkuGiUYwq/Mt+DA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-03T13:10:20.847822Z","bundle_sha256":"a918796037935f0cc726d43672c2f49973274de1f525a78e8e56db759793b956"}}