/ram-ruts

Model predictive control (MPC) for a stochastic linear system with runtime signal temporal logic (STL) specifications

Primary LanguagePythonBSD 3-Clause "New" or "Revised" LicenseBSD-3-Clause

Watchers