GitHub repository: mihsamusev/stratego_mpc_example
Primary language: Python
Created: 2021-03-02T13:04:30Z
Description: Minimal example running UPPAAL Stratego as a part of model predictive control MPC loop