160 citations · 831 across the 126 of their papers we have counts for
Showing 2015Show all
3 papers · 1 filter
eess.SY2015★ 160 cited
Robust Temporal Logic Model Predictive Control
Sadra Sadraddini, Calin Belta
Control synthesis from temporal logic specifications has gained popularity in recent years. In this paper, we use a model predictive approach to control discrete time linear system…
eess.SY2015★ 15 cited
Control with Probabilistic Signal Temporal Logic
Chanyeol Yoo, Calin Belta
Autonomous agents often operate in uncertain environments where their decisions are made based on beliefs over states of targets. We are interested in controller synthesis for comp…
eess.SY2015★ 14 cited
Robust Satisfaction of Temporal Logic Specifications via Reinforcement Learning
Austin Jones, Derya Aksaray, Zhaodan Kong +2
We consider the problem of steering a system with unknown, stochastic dynamics to satisfy a rich, temporally layered task given as a signal temporal logic formula. We represent the…