D. DeFazio, Y. Hayamizu, and S. Zhang, “Learning Quadruped Locomotion Policies Using Logical Rules”, ICAPS, vol. 34, no. 1, pp. 142-150, May 2024.