{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2014:6SMDISXCJOUYBIULHUIHEYREY4","short_pith_number":"pith:6SMDISXC","schema_version":"1.0","canonical_sha256":"f498344ae24ba980a28b3d10726224c724933988c8613d2e36b61e6cd34ebdb9","source":{"kind":"arxiv","id":"1401.6775","version":1},"attestation_state":"computed","paper":{"title":"Methods for Collision-Free Navigation of Multiple Mobile Robots in Unknown Cluttered Environments","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.RO"],"primary_cat":"math.OC","authors_text":"Michael Hoy","submitted_at":"2014-01-27T09:39:15Z","abstract_excerpt":"Navigation and guidance of autonomous vehicles is a fundamental problem in robotics, which has attracted intensive research in recent decades. This report is mainly concerned with provable collision avoidance of multiple autonomous vehicles operating in unknown cluttered environments, using reactive decentralized navigation laws, where obstacle information is supplied by some sensor system.\n  Recently, robust and decentralized variants of model predictive control based navigation systems have been applied to vehicle navigation problems. Properties such as provable collision avoidance under dis"},"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":"1401.6775","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2014-01-27T09:39:15Z","cross_cats_sorted":["cs.RO"],"title_canon_sha256":"d46f2e305d8c91449e1c529e8a4f0c5ca63336c355d5da0eff21190c5f642df4","abstract_canon_sha256":"489c9ba94ea7e3e877e4830d90de4a18fdb8d3df536a91c17d872d19bfbba1f2"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:01:00.680729Z","signature_b64":"QyNTzLHRgvGum3uq5KCYm2FZ6ndMM+S4nW2shdmuOrd4P/lL6eB+o9u/N0kggnqYIfmkJ9179ZzWf4teIdwzDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f498344ae24ba980a28b3d10726224c724933988c8613d2e36b61e6cd34ebdb9","last_reissued_at":"2026-05-18T03:01:00.679934Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:01:00.679934Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Methods for Collision-Free Navigation of Multiple Mobile Robots in Unknown Cluttered Environments","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.RO"],"primary_cat":"math.OC","authors_text":"Michael Hoy","submitted_at":"2014-01-27T09:39:15Z","abstract_excerpt":"Navigation and guidance of autonomous vehicles is a fundamental problem in robotics, which has attracted intensive research in recent decades. This report is mainly concerned with provable collision avoidance of multiple autonomous vehicles operating in unknown cluttered environments, using reactive decentralized navigation laws, where obstacle information is supplied by some sensor system.\n  Recently, robust and decentralized variants of model predictive control based navigation systems have been applied to vehicle navigation problems. Properties such as provable collision avoidance under dis"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1401.6775","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":"1401.6775","created_at":"2026-05-18T03:01:00.680059+00:00"},{"alias_kind":"arxiv_version","alias_value":"1401.6775v1","created_at":"2026-05-18T03:01:00.680059+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1401.6775","created_at":"2026-05-18T03:01:00.680059+00:00"},{"alias_kind":"pith_short_12","alias_value":"6SMDISXCJOUY","created_at":"2026-05-18T12:28:16.859392+00:00"},{"alias_kind":"pith_short_16","alias_value":"6SMDISXCJOUYBIUL","created_at":"2026-05-18T12:28:16.859392+00:00"},{"alias_kind":"pith_short_8","alias_value":"6SMDISXC","created_at":"2026-05-18T12:28:16.859392+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/6SMDISXCJOUYBIULHUIHEYREY4","json":"https://pith.science/pith/6SMDISXCJOUYBIULHUIHEYREY4.json","graph_json":"https://pith.science/api/pith-number/6SMDISXCJOUYBIULHUIHEYREY4/graph.json","events_json":"https://pith.science/api/pith-number/6SMDISXCJOUYBIULHUIHEYREY4/events.json","paper":"https://pith.science/paper/6SMDISXC"},"agent_actions":{"view_html":"https://pith.science/pith/6SMDISXCJOUYBIULHUIHEYREY4","download_json":"https://pith.science/pith/6SMDISXCJOUYBIULHUIHEYREY4.json","view_paper":"https://pith.science/paper/6SMDISXC","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1401.6775&json=true","fetch_graph":"https://pith.science/api/pith-number/6SMDISXCJOUYBIULHUIHEYREY4/graph.json","fetch_events":"https://pith.science/api/pith-number/6SMDISXCJOUYBIULHUIHEYREY4/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/6SMDISXCJOUYBIULHUIHEYREY4/action/timestamp_anchor","attest_storage":"https://pith.science/pith/6SMDISXCJOUYBIULHUIHEYREY4/action/storage_attestation","attest_author":"https://pith.science/pith/6SMDISXCJOUYBIULHUIHEYREY4/action/author_attestation","sign_citation":"https://pith.science/pith/6SMDISXCJOUYBIULHUIHEYREY4/action/citation_signature","submit_replication":"https://pith.science/pith/6SMDISXCJOUYBIULHUIHEYREY4/action/replication_record"}},"created_at":"2026-05-18T03:01:00.680059+00:00","updated_at":"2026-05-18T03:01:00.680059+00:00"}