TY  - RPRT
TI  - Model Predictive Control for Signal Temporal Logic Specifications with Time Interval Decomposition
AU  - Xinyi Yu
AU  - Chuwei Wang
AU  - Dingran Yuan
AU  - Shaoyuan Li
AU  - Xiang Yin
PY  - 2022
UR  - https://arxiv.org/abs/2211.08031
ID  - 2211.08031
ER  -