Closed form characterization of collision free velocities and confidence bounds for non-holonomic robots in uncertain dynamic environments | IEEE Conference Publication | IEEE Xplore