News/Learning Gait-Aware Quadruped Locomotion with Te…
Learning Gait-Aware Quadruped Locomotion with Temporal Logic Specifications