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