publication venue for Control Co-Design of Wind Turbines 2024 Synthesis for Robots: Guarantees and Feedback for Robot Behavior 2018