zhang-zengjie/ram-ruts
Model predictive control (MPC) for a stochastic linear system with runtime signal temporal logic (STL) specifications
PythonBSD-3-Clause
Stargazers
No one’s star this repository yet.
Model predictive control (MPC) for a stochastic linear system with runtime signal temporal logic (STL) specifications
PythonBSD-3-Clause
No one’s star this repository yet.