2 papers
cs.RO2025
Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion
Ziyi Zhou, Qian Meng, Hadas Kress-Gazit +1
We present an integrated planning framework for quadrupedal locomotion over dynamically changing, unforeseen terrains. Existing methods often depend on heuristics for real-time foo…
cs.RO2025
Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion via Trajectory Optimization and Symbolic Repair
Ziyi Zhou, Qian Meng, Hadas Kress-Gazit +1
We propose an integrated planning framework for quadrupedal locomotion over dynamically changing, unforeseen terrains. Existing approaches either rely on heuristics for instantaneo…