Shanwu Li, Yongchao Yang: Optimal control of HalfCheetah benchmark. IEEE DataPort 2025