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