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