Probabilistic optimization of dose coverage in radiotherapy. (April 2019)