Formal verifizierte Suchraumkonstruktion zur Planung von sicheren Trajektorien für automatisierte Fahrzeuge