University of Southern California（南加州大学）

Learning Gait-Aware Quadruped Locomotion with Temporal Logic Specifications

基于时序逻辑规范的学习步态感知四足运动

Merve Atasever, Cagan Bakirci, Alfredo Reina Corona, Keyan Azbijari, Jyotirmoy V. Deshmukh

机构 * Department of Electrical Engineering and Computer Sciences University of California Berkeley（加州大学伯克利分校电气工程与计算机科学系） ； University of Southern California（南加州大学） 纠错

AI总结 提出用信号时序逻辑参数化约束指定步态，通过奖励塑形提供密集连续奖励，在Barkour机器人上实现更紧的速度跟踪和稳定训练。