Project Details
Person
Professor Dr. Stefan Edelkamp
Address
Czech Technical University in Prague
Faculty of Electrical Engineering
Department of Computer Science
Karlovo námestí 13
120 00 Praha 2
Tschechische Republik
-
As Applicant
-
Completed projects
-
Directed model checking with AI exploration algorithms (Research Grants) -
Heuristic search (Independent Junior Research Groups)
-
-
Completed projects
-
As Ehemaliger Antragsteller
-
Completed projects
-
Externe zielgerichtete Suche in impliziten Graphen (Priority Programmes) to 4/2008
-
Planungsverfahren für das Allgemeine Spiel (Research Grants) to 8/2012
-
-
Completed projects
