Heuristic search

• Applicant: Professor Dr. Stefan Edelkamp
• Subject Area: Software Engineering and Programming Languages
• Term: from 2003 to 2009
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 5401158

Die grundlegende Erforschung heuristischer Suchverfahren zur Exploration extrem großer, mitunter unendlicher, sowohl propositionaler als auch numerischer Zustandsräume, steht derzeit in keinem Vergleich zu den erzielten Anfangserfolgen und dem zu erwarteten industriellen Nutzen in den Bereichen des Handlungs- bzw. des Routenplanens, der Robotik, des automatischen Beweisens, der Software- sowie der Hardwareverifikation. Im Rahmen des Aktionsprogramms Informatik der Deutschen Forschungsgemeinschaft ist die in dem Bereich notwendige inhaltliche Flexibilität in Form einer lehrstuhl- und letztendlich hochschulübergreifenden Zusammenarbeit in den Bereichen Algorithmik, Künstliche Intelligenz (KI) und Verifikation am besten zu verwirklichen.

• DFG Programme: Independent Junior Research Groups