DeFazio, David, Yohei Hayamizu, and Shiqi Zhang. 2024. “Learning Quadruped Locomotion Policies Using Logical Rules”. Proceedings of the International Conference on Automated Planning and Scheduling 34 (1):142-50. https://doi.org/10.1609/icaps.v34i1.31470.