Temporal Logic Guided Locomotion Planning and Control in Cluttered Environments. - Sutej Kulgod; Wentao Chen; Junda Huang; Ye Zhao; Nikolay Atanasov 001 (ACC, 2020)