Karen Leung, Marco Pavone: Semi-Supervised Trajectory-Feedback Controller Synthesis for Signal Temporal Logic Specifications. ACC 2022: 178-185