Verifizierte Bahnplanung basierend auf stochastischen Erreichbarkeitsmethoden