Verifikation von Fahrzeugtrajektorien basierend auf Erreichbarkeitsmethoden