Expressing homotopic requirements for mobile robot navigation through natural language instructions | IEEE Conference Publication | IEEE Xplore