TY  - RPRT
TI  - Learning Gait-Aware Quadruped Locomotion with Temporal Logic Specifications
AU  - Merve Atasever
AU  - Keyan Azbijari
AU  - Cagan Bakirci
AU  - Alfredo Reina Corona
AU  - Tolga Izdas
AU  - Jyotirmoy V. Deshmukh
PY  - 2026
UR  - https://arxiv.org/abs/2607.00442
ID  - 2607.00442
ER  -