Feedback Motion Planning for Stochastic Nonlinear Systems with Signal Temporal Logic Specifications

Liqian Ma, Zishun Liu, Glen Chou +1

We study feedback motion planning for continuous-time stochastic nonlinear systems under signal temporal logic (STL) specifications. We propose a framework that synthesizes control…