Automatic Controller Synthesis of Motion-Tasks with Real-Time Objectives | IEEE Conference Publication | IEEE Xplore