GitHub / zhang-zengjie / ram-ruts

Model Predictive Control for a stochastic linear system with runtime Signal Temporal Logic specifications

JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/zhang-zengjie%2Fram-ruts
PURL: pkg:github/zhang-zengjie/ram-ruts

Stars: 0
Forks: 0
Open issues: 0

License: bsd-3-clause
Language: Python
Size: 1.28 MB
Dependencies parsed at: Pending

Created at: over 1 year ago
Updated at: 12 months ago
Pushed at: 12 months ago
Last synced at: 12 months ago

Topics: formal-methods, model-predictive-control, risk-aware, risk-aware-planner, signal-temporal-logic, stochastic-systems

Loading...