Methods for Collision-Free Navigation of Multiple Mobile Robots in Unknown Cluttered Environments.