Learning Gait-Aware Quadruped Locomotion with Temporal Logic Specifications.

arXiv:2607.00442v2 Announce Type: replace-cross Abstract: Reinforcement learning (RL) for quadruped locomotion commonly depends on fixed, hand-crafted, and Markovian reward functions that may limit interpretability of learned policies and may lack explicit con