Model Predictive Control for Systems With Partially Unknown Dynamics Under Signal Temporal Logic Specifications. - Zhao Feng Dai; Yash Vardhan Pant; Stephen L. Smith 001 (IEEE Control. Syst. Lett., 2024)