Velocity space approach with region analysis and look-ahead verification for robot navigation | IEEE Conference Publication | IEEE Xplore