On maximizing safety in stochastic aircraft trajectory planning with uncertain thunderstorm development | Publicación