BluSTL, control, MATLAB, Mixed Integer Linear Programming, Model Predictive Control, Signal Temporal Logic, synthesis, tools.
