Temporal logic model predictive control
scientific article; zbMATH DE number 6505042