Homotopic path validation using non-holonomic differential drive robot model | IEEE Conference Publication | IEEE Xplore