Shrinking Horizon Model Predictive Control with chance-constrained signal temporal logic specifications | IEEE Conference Publication | IEEE Xplore