Temporal Logic Guided Locomotion Planning and Control in Cluttered Environments | IEEE Conference Publication | IEEE Xplore