Path Generation and Execution for Automatic Shotcrete in Railway Tunnels | IEEE Conference Publication | IEEE Xplore