Entwicklung, Analyse und experimentelle Erprobung von kompetitiven Algorithmen für die Bahnplanung autonomer Systeme

点击翻译按钮获取中文摘要

Neben einem formalen Kompetitivitätsnachweis ist die experimentelle Evaluierung durch Simulation erforderlich. Mit ihrer Hilfe läßt sich oft erkennen, daß eine Strategie in der Praxis weit besser funktioniert, als die theoretische Abschätzung vermuten läßt. Unser Ziel besteht darin, den Entwicklern autonomer Systeme kompetitive Strategien für die Lösung der Grundaufgaben zur Verfügung zu stellen, die so einfach wie naive ad-hoc-Verfahren sind, im Gegensatz zu diesen aber immer korrekt funktionieren und nachweisbar effizient sind.