Specification composition and controller synthesis for robotic systems