Correction: McCormick envelopes in mixed-integer PDE-constrained optimization | Synapse