Modellprädiktive Berechnung eines verifiziert kollisionsfreien Raumes um eine Trajektorie zur Verwendung in einer Trajektorienoptimierung