TY - RPRT TI - Proofs of the Technical Results Justifying an Algorithm for Collision Avoidance in Dynamic Environments with Moving and Deforming Obstacles AU - Chao Wang AU - Alexey S. Matveev AU - Andrey V. Savkin PY - 2013 UR - https://arxiv.org/abs/1304.7665 ID - 1304.7665 ER -