TY - RPRT TI - Robust Temporal Logic Model Predictive Control AU - Sadra Sadraddini AU - Calin Belta PY - 2015 DO - 10.1109/allerton.2015.7447084 UR - https://arxiv.org/abs/1511.00347 ID - 1511.00347 ER -