Effiziente Trajektorienplanung durch inkrementelle Zerlegung von Signal-Temporallogik-Spezifikationen

Durch die Zerlegung komplexer STL-Spezifikationen in kleinere Teilaufgaben und deren inkrementelle Planung können Effizienz und Leistung der Trajektorienplanung verbessert werden.