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