High-speed wall following and obstacle avoidance of wheeled mobile robots using hybrid behavior specifications | IEEE Conference Publication | IEEE Xplore