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