Farahani, S. S., Majumdar, R., Prabhu, V., & Soudjani, S. (2019). Shrinking Horizon Model Predictive Control With Signal Temporal Logic Constraints Under Stochastic Disturbances. IEEE Transactions on Automatic Control, 64(8), 3324-3331. doi:10.1109/TAC.2018.2880651.