34 citations · 106 across the 32 of their papers we have counts for
1 paper · 2 filters
Xuchu Ding, Mircea Lazar, Calin Belta
This paper considers receding horizon control of finite deterministic systems, which must satisfy a high level, rich specification expressed as a linear temporal logic formula. Und…