Verifizierte Trajektorienplanung mittels linear zeitvarianter modellprädiktiver Regelung