{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:FEUEX3AG6YOOIVX3BNL44OSGLS","short_pith_number":"pith:FEUEX3AG","canonical_record":{"source":{"id":"1304.7665","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2013-04-29T14:00:31Z","cross_cats_sorted":[],"title_canon_sha256":"4a52a8852afeb06bca48809fc1d8f430938a58ea6df0ea98160b55c36b5ef54c","abstract_canon_sha256":"99f5b9d0ab918cd3c6a1d696da52e6462957585c50b7adb8cc8703cfa9e7d2f5"},"schema_version":"1.0"},"canonical_sha256":"29284bec06f61ce456fb0b57ce3a465caffabfae4be4ad2efc7d45f6878a63ee","source":{"kind":"arxiv","id":"1304.7665","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1304.7665","created_at":"2026-05-18T03:26:53Z"},{"alias_kind":"arxiv_version","alias_value":"1304.7665v1","created_at":"2026-05-18T03:26:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1304.7665","created_at":"2026-05-18T03:26:53Z"},{"alias_kind":"pith_short_12","alias_value":"FEUEX3AG6YOO","created_at":"2026-05-18T12:27:45Z"},{"alias_kind":"pith_short_16","alias_value":"FEUEX3AG6YOOIVX3","created_at":"2026-05-18T12:27:45Z"},{"alias_kind":"pith_short_8","alias_value":"FEUEX3AG","created_at":"2026-05-18T12:27:45Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:FEUEX3AG6YOOIVX3BNL44OSGLS","target":"record","payload":{"canonical_record":{"source":{"id":"1304.7665","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2013-04-29T14:00:31Z","cross_cats_sorted":[],"title_canon_sha256":"4a52a8852afeb06bca48809fc1d8f430938a58ea6df0ea98160b55c36b5ef54c","abstract_canon_sha256":"99f5b9d0ab918cd3c6a1d696da52e6462957585c50b7adb8cc8703cfa9e7d2f5"},"schema_version":"1.0"},"canonical_sha256":"29284bec06f61ce456fb0b57ce3a465caffabfae4be4ad2efc7d45f6878a63ee","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:26:53.375444Z","signature_b64":"gR+/SkkZf1FSj71nI00xp0aK56aHgvpFrmAeCuDd7IZMaolaYv2aWwRWWGtayhl4PytbxRaEzmcJnPBvWdL/CA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"29284bec06f61ce456fb0b57ce3a465caffabfae4be4ad2efc7d45f6878a63ee","last_reissued_at":"2026-05-18T03:26:53.374855Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:26:53.374855Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1304.7665","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:26:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Na2DqKZIdfHcZn31FT9V/XULfE4DZJFogKAmwGT78AhM/Sfjjj0hFLxMVlJOTtOWW1QgmqKHZFgwtkpBKrncAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-22T23:33:03.514892Z"},"content_sha256":"c4a94ebef54d3bd62853a58fb6e0e63beb58fc7b59b2be3c883198a610ee8c3a","schema_version":"1.0","event_id":"sha256:c4a94ebef54d3bd62853a58fb6e0e63beb58fc7b59b2be3c883198a610ee8c3a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:FEUEX3AG6YOOIVX3BNL44OSGLS","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Proofs of the Technical Results Justifying an Algorithm for Collision Avoidance in Dynamic Environments with Moving and Deforming Obstacles","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"Alexey S.Matveev, Andrey V.Savkin, Chao Wang","submitted_at":"2013-04-29T14:00:31Z","abstract_excerpt":"This text presents the proofs of the technical facts underlying theoretical justification of the convergence and performance of the novel algorithm for reactive navigation of differential drive wheeled robots in dynamic uncertain environments. The algorithm restricts neither the natures nor the motions of the obstacles, they need not be rigid but conversely may deform. It does not consume data about the velocities, shapes, sizes, or orientations of the obstacles, and does not need a map of the environment or recognition of individual obstacles. The only information about the scene is the curre"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1304.7665","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:26:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ADPjzPdKVnOWlwdbEp7/fu2limtTv0pEAFmqjclnMghysVCA4RV4EU192sEUZyLgBXdr6RtbvILASkkdMWojAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-22T23:33:03.515242Z"},"content_sha256":"ab0c942eb5290496b220b38f13ed9b1956e1e28fcab543a3106f1033c001cc28","schema_version":"1.0","event_id":"sha256:ab0c942eb5290496b220b38f13ed9b1956e1e28fcab543a3106f1033c001cc28"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/FEUEX3AG6YOOIVX3BNL44OSGLS/bundle.json","state_url":"https://pith.science/pith/FEUEX3AG6YOOIVX3BNL44OSGLS/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/FEUEX3AG6YOOIVX3BNL44OSGLS/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-22T23:33:03Z","links":{"resolver":"https://pith.science/pith/FEUEX3AG6YOOIVX3BNL44OSGLS","bundle":"https://pith.science/pith/FEUEX3AG6YOOIVX3BNL44OSGLS/bundle.json","state":"https://pith.science/pith/FEUEX3AG6YOOIVX3BNL44OSGLS/state.json","well_known_bundle":"https://pith.science/.well-known/pith/FEUEX3AG6YOOIVX3BNL44OSGLS/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:FEUEX3AG6YOOIVX3BNL44OSGLS","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":"99f5b9d0ab918cd3c6a1d696da52e6462957585c50b7adb8cc8703cfa9e7d2f5","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2013-04-29T14:00:31Z","title_canon_sha256":"4a52a8852afeb06bca48809fc1d8f430938a58ea6df0ea98160b55c36b5ef54c"},"schema_version":"1.0","source":{"id":"1304.7665","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1304.7665","created_at":"2026-05-18T03:26:53Z"},{"alias_kind":"arxiv_version","alias_value":"1304.7665v1","created_at":"2026-05-18T03:26:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1304.7665","created_at":"2026-05-18T03:26:53Z"},{"alias_kind":"pith_short_12","alias_value":"FEUEX3AG6YOO","created_at":"2026-05-18T12:27:45Z"},{"alias_kind":"pith_short_16","alias_value":"FEUEX3AG6YOOIVX3","created_at":"2026-05-18T12:27:45Z"},{"alias_kind":"pith_short_8","alias_value":"FEUEX3AG","created_at":"2026-05-18T12:27:45Z"}],"graph_snapshots":[{"event_id":"sha256:ab0c942eb5290496b220b38f13ed9b1956e1e28fcab543a3106f1033c001cc28","target":"graph","created_at":"2026-05-18T03:26:53Z","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":"This text presents the proofs of the technical facts underlying theoretical justification of the convergence and performance of the novel algorithm for reactive navigation of differential drive wheeled robots in dynamic uncertain environments. The algorithm restricts neither the natures nor the motions of the obstacles, they need not be rigid but conversely may deform. It does not consume data about the velocities, shapes, sizes, or orientations of the obstacles, and does not need a map of the environment or recognition of individual obstacles. The only information about the scene is the curre","authors_text":"Alexey S.Matveev, Andrey V.Savkin, Chao Wang","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2013-04-29T14:00:31Z","title":"Proofs of the Technical Results Justifying an Algorithm for Collision Avoidance in Dynamic Environments with Moving and Deforming Obstacles"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1304.7665","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:c4a94ebef54d3bd62853a58fb6e0e63beb58fc7b59b2be3c883198a610ee8c3a","target":"record","created_at":"2026-05-18T03:26:53Z","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":"99f5b9d0ab918cd3c6a1d696da52e6462957585c50b7adb8cc8703cfa9e7d2f5","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2013-04-29T14:00:31Z","title_canon_sha256":"4a52a8852afeb06bca48809fc1d8f430938a58ea6df0ea98160b55c36b5ef54c"},"schema_version":"1.0","source":{"id":"1304.7665","kind":"arxiv","version":1}},"canonical_sha256":"29284bec06f61ce456fb0b57ce3a465caffabfae4be4ad2efc7d45f6878a63ee","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"29284bec06f61ce456fb0b57ce3a465caffabfae4be4ad2efc7d45f6878a63ee","first_computed_at":"2026-05-18T03:26:53.374855Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:26:53.374855Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"gR+/SkkZf1FSj71nI00xp0aK56aHgvpFrmAeCuDd7IZMaolaYv2aWwRWWGtayhl4PytbxRaEzmcJnPBvWdL/CA==","signature_status":"signed_v1","signed_at":"2026-05-18T03:26:53.375444Z","signed_message":"canonical_sha256_bytes"},"source_id":"1304.7665","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c4a94ebef54d3bd62853a58fb6e0e63beb58fc7b59b2be3c883198a610ee8c3a","sha256:ab0c942eb5290496b220b38f13ed9b1956e1e28fcab543a3106f1033c001cc28"],"state_sha256":"fea4b29d83fdb180291f7c748000f5538a9aa7e490c913d0dde55c7c1c8737c0"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"oDCgG+Wv/1E2SgMYcnHRGd9oKbvaZ6XtaQzgLIx2cMwsVMDM0mi12ELs4R9xIEqbBRTLesFTD+PuFt6kFSVaCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-22T23:33:03.517366Z","bundle_sha256":"9b615a8b1b3e56d0389cb8c952b8eef56937d3c23190d14bf1426ff632eaee61"}}