Motion safety properties of relative velocity-based reciprocal collision avoidance methods | IEEE Conference Publication | IEEE Xplore