DeFazio, D., Hayamizu, Y., & Zhang, S. (2024). Learning Quadruped Locomotion Policies Using Logical Rules. Proceedings of the International Conference on Automated Planning and Scheduling, 34(1), 142-150. https://doi.org/10.1609/icaps.v34i1.31470