DeFazio, D.; Hayamizu, Y.; Zhang, S. Learning Quadruped Locomotion Policies Using Logical Rules. ICAPS 2024, 34, 142-150.