Approximate explicit MPC using bilevel optimization | Synapse