{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:6SMDISXCJOUYBIULHUIHEYREY4","short_pith_number":"pith:6SMDISXC","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"},"canonical_sha256":"f498344ae24ba980a28b3d10726224c724933988c8613d2e36b61e6cd34ebdb9","source":{"kind":"arxiv","id":"1401.6775","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1401.6775","created_at":"2026-05-18T03:01:00Z"},{"alias_kind":"arxiv_version","alias_value":"1401.6775v1","created_at":"2026-05-18T03:01:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1401.6775","created_at":"2026-05-18T03:01:00Z"},{"alias_kind":"pith_short_12","alias_value":"6SMDISXCJOUY","created_at":"2026-05-18T12:28:16Z"},{"alias_kind":"pith_short_16","alias_value":"6SMDISXCJOUYBIUL","created_at":"2026-05-18T12:28:16Z"},{"alias_kind":"pith_short_8","alias_value":"6SMDISXC","created_at":"2026-05-18T12:28:16Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:6SMDISXCJOUYBIULHUIHEYREY4","target":"record","payload":{"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"},"canonical_sha256":"f498344ae24ba980a28b3d10726224c724933988c8613d2e36b61e6cd34ebdb9","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"},"source_kind":"arxiv","source_id":"1401.6775","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-18T03:01:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Qn3RLNPitW9ekhIpnhHgkeahNW6lhsh1TNv6OdkXX8mKddxGA0YLVrB0HRP+fsx7q/bVJptFNzt1+/SBFl6ZBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T06:51:18.577117Z"},"content_sha256":"b6fc01eb8551ca09d064be22738abf715ac3042555d90942a4a1390f3d7498ef","schema_version":"1.0","event_id":"sha256:b6fc01eb8551ca09d064be22738abf715ac3042555d90942a4a1390f3d7498ef"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:6SMDISXCJOUYBIULHUIHEYREY4","target":"graph","payload":{"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"},"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-18T03:01:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"pvZloKyzY1oK5oGy3BNNKU5RF12ESPh47Div8AAbMz8qrcfBKJsnP87CQdDexrhs0NPFwwHWF8WmEXvZpLemCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T06:51:18.577860Z"},"content_sha256":"0923f1c78e268605cbaaac00b3adff5d9baff9a2f030f94b6a730202b4e795ac","schema_version":"1.0","event_id":"sha256:0923f1c78e268605cbaaac00b3adff5d9baff9a2f030f94b6a730202b4e795ac"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/6SMDISXCJOUYBIULHUIHEYREY4/bundle.json","state_url":"https://pith.science/pith/6SMDISXCJOUYBIULHUIHEYREY4/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/6SMDISXCJOUYBIULHUIHEYREY4/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-05-27T06:51:18Z","links":{"resolver":"https://pith.science/pith/6SMDISXCJOUYBIULHUIHEYREY4","bundle":"https://pith.science/pith/6SMDISXCJOUYBIULHUIHEYREY4/bundle.json","state":"https://pith.science/pith/6SMDISXCJOUYBIULHUIHEYREY4/state.json","well_known_bundle":"https://pith.science/.well-known/pith/6SMDISXCJOUYBIULHUIHEYREY4/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:6SMDISXCJOUYBIULHUIHEYREY4","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":"489c9ba94ea7e3e877e4830d90de4a18fdb8d3df536a91c17d872d19bfbba1f2","cross_cats_sorted":["cs.RO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2014-01-27T09:39:15Z","title_canon_sha256":"d46f2e305d8c91449e1c529e8a4f0c5ca63336c355d5da0eff21190c5f642df4"},"schema_version":"1.0","source":{"id":"1401.6775","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1401.6775","created_at":"2026-05-18T03:01:00Z"},{"alias_kind":"arxiv_version","alias_value":"1401.6775v1","created_at":"2026-05-18T03:01:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1401.6775","created_at":"2026-05-18T03:01:00Z"},{"alias_kind":"pith_short_12","alias_value":"6SMDISXCJOUY","created_at":"2026-05-18T12:28:16Z"},{"alias_kind":"pith_short_16","alias_value":"6SMDISXCJOUYBIUL","created_at":"2026-05-18T12:28:16Z"},{"alias_kind":"pith_short_8","alias_value":"6SMDISXC","created_at":"2026-05-18T12:28:16Z"}],"graph_snapshots":[{"event_id":"sha256:0923f1c78e268605cbaaac00b3adff5d9baff9a2f030f94b6a730202b4e795ac","target":"graph","created_at":"2026-05-18T03:01: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":"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","authors_text":"Michael Hoy","cross_cats":["cs.RO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2014-01-27T09:39:15Z","title":"Methods for Collision-Free Navigation of Multiple Mobile Robots in Unknown Cluttered Environments"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1401.6775","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:b6fc01eb8551ca09d064be22738abf715ac3042555d90942a4a1390f3d7498ef","target":"record","created_at":"2026-05-18T03:01: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":"489c9ba94ea7e3e877e4830d90de4a18fdb8d3df536a91c17d872d19bfbba1f2","cross_cats_sorted":["cs.RO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2014-01-27T09:39:15Z","title_canon_sha256":"d46f2e305d8c91449e1c529e8a4f0c5ca63336c355d5da0eff21190c5f642df4"},"schema_version":"1.0","source":{"id":"1401.6775","kind":"arxiv","version":1}},"canonical_sha256":"f498344ae24ba980a28b3d10726224c724933988c8613d2e36b61e6cd34ebdb9","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f498344ae24ba980a28b3d10726224c724933988c8613d2e36b61e6cd34ebdb9","first_computed_at":"2026-05-18T03:01:00.679934Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:01:00.679934Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"QyNTzLHRgvGum3uq5KCYm2FZ6ndMM+S4nW2shdmuOrd4P/lL6eB+o9u/N0kggnqYIfmkJ9179ZzWf4teIdwzDw==","signature_status":"signed_v1","signed_at":"2026-05-18T03:01:00.680729Z","signed_message":"canonical_sha256_bytes"},"source_id":"1401.6775","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b6fc01eb8551ca09d064be22738abf715ac3042555d90942a4a1390f3d7498ef","sha256:0923f1c78e268605cbaaac00b3adff5d9baff9a2f030f94b6a730202b4e795ac"],"state_sha256":"34a1bb0b6ad07da3dbf1e6334c543c4381268671da6b20261f808f39dcb7b8cd"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7hYCVHqeCosq5xvGLQbREdJXr8MsqRQJz1+FfU2N1bcpKr2caegyuUnLutnCWNXZvGWLcwtCzVXNsFPY2B0FCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-27T06:51:18.581639Z","bundle_sha256":"dd4d4b4c7c4c238a852030a9355a6f2da0fe36995e2a6319701ffeaa46887d08"}}