Publication Semi-Supervised Trajectory-Feedback Controller Synthesis for Signal Temporal Logic Specifications