TY - RPRT TI - Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion via Trajectory Optimization and Symbolic Repair AU - Ziyi Zhou AU - Qian Meng AU - Hadas Kress-Gazit AU - Ye Zhao PY - 2025 UR - https://arxiv.org/abs/2503.03071 ID - 2503.03071 ER -