Ein Verfahren zur automatischen Generierung von Steuerprogrammen für Roboterfahrzeuge