{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2017:HMTYXPIW232WWF7P5YRGZMB2Y3","short_pith_number":"pith:HMTYXPIW","schema_version":"1.0","canonical_sha256":"3b278bbd16d6f56b17efee226cb03ac6d7876b62ccaba079f230969c687887fc","source":{"kind":"arxiv","id":"1707.04449","version":1},"attestation_state":"computed","paper":{"title":"Optimal Asynchronous Rendezvous for Mobile Robots with Lights","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.DC","authors_text":"Koichi Wada, Takashi Okumura, Yoshiaki Katayama","submitted_at":"2017-07-14T10:37:09Z","abstract_excerpt":"We study a Rendezvous problem for 2 autonomous mobile robots in asynchronous settings with persistent memory called light. It is well known that Rendezvous is impossible when robots have no lights in basic common models, even if the system is semi-synchronous. On the other hand, Rendezvous is possible if robots have lights with a constant number of colors in several types lights. In asynchronous settings, Rendezvous can be solved by robots with 4 colors of lights in non-rigid movement, if robots can use not only own light but also other robot's light (full-light), where non-rigid movement mean"},"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":"1707.04449","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2017-07-14T10:37:09Z","cross_cats_sorted":[],"title_canon_sha256":"15de08df25c21715d0825fdfba9800fdc883f9162d13e6a6b3b6288e1067c7bb","abstract_canon_sha256":"4c77faf7560f924b7704c6247277dc172337efc79235bc9b27d11fb34520d961"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:40:18.144948Z","signature_b64":"1SkMkblTvoDb+0wcQM/I1+Eb7P45y/aVQq2wbMk2B54RO+KDp8YmYiirz6Cv8BT1610mI6yXReqeAbDrEtoHCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3b278bbd16d6f56b17efee226cb03ac6d7876b62ccaba079f230969c687887fc","last_reissued_at":"2026-05-18T00:40:18.144188Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:40:18.144188Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Optimal Asynchronous Rendezvous for Mobile Robots with Lights","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.DC","authors_text":"Koichi Wada, Takashi Okumura, Yoshiaki Katayama","submitted_at":"2017-07-14T10:37:09Z","abstract_excerpt":"We study a Rendezvous problem for 2 autonomous mobile robots in asynchronous settings with persistent memory called light. It is well known that Rendezvous is impossible when robots have no lights in basic common models, even if the system is semi-synchronous. On the other hand, Rendezvous is possible if robots have lights with a constant number of colors in several types lights. In asynchronous settings, Rendezvous can be solved by robots with 4 colors of lights in non-rigid movement, if robots can use not only own light but also other robot's light (full-light), where non-rigid movement mean"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1707.04449","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1707.04449","created_at":"2026-05-18T00:40:18.144305+00:00"},{"alias_kind":"arxiv_version","alias_value":"1707.04449v1","created_at":"2026-05-18T00:40:18.144305+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1707.04449","created_at":"2026-05-18T00:40:18.144305+00:00"},{"alias_kind":"pith_short_12","alias_value":"HMTYXPIW232W","created_at":"2026-05-18T12:31:18.294218+00:00"},{"alias_kind":"pith_short_16","alias_value":"HMTYXPIW232WWF7P","created_at":"2026-05-18T12:31:18.294218+00:00"},{"alias_kind":"pith_short_8","alias_value":"HMTYXPIW","created_at":"2026-05-18T12:31:18.294218+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/HMTYXPIW232WWF7P5YRGZMB2Y3","json":"https://pith.science/pith/HMTYXPIW232WWF7P5YRGZMB2Y3.json","graph_json":"https://pith.science/api/pith-number/HMTYXPIW232WWF7P5YRGZMB2Y3/graph.json","events_json":"https://pith.science/api/pith-number/HMTYXPIW232WWF7P5YRGZMB2Y3/events.json","paper":"https://pith.science/paper/HMTYXPIW"},"agent_actions":{"view_html":"https://pith.science/pith/HMTYXPIW232WWF7P5YRGZMB2Y3","download_json":"https://pith.science/pith/HMTYXPIW232WWF7P5YRGZMB2Y3.json","view_paper":"https://pith.science/paper/HMTYXPIW","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1707.04449&json=true","fetch_graph":"https://pith.science/api/pith-number/HMTYXPIW232WWF7P5YRGZMB2Y3/graph.json","fetch_events":"https://pith.science/api/pith-number/HMTYXPIW232WWF7P5YRGZMB2Y3/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/HMTYXPIW232WWF7P5YRGZMB2Y3/action/timestamp_anchor","attest_storage":"https://pith.science/pith/HMTYXPIW232WWF7P5YRGZMB2Y3/action/storage_attestation","attest_author":"https://pith.science/pith/HMTYXPIW232WWF7P5YRGZMB2Y3/action/author_attestation","sign_citation":"https://pith.science/pith/HMTYXPIW232WWF7P5YRGZMB2Y3/action/citation_signature","submit_replication":"https://pith.science/pith/HMTYXPIW232WWF7P5YRGZMB2Y3/action/replication_record"}},"created_at":"2026-05-18T00:40:18.144305+00:00","updated_at":"2026-05-18T00:40:18.144305+00:00"}