Detailseite

Professor Dr. Stefan Edelkamp

Adresse Czech Technical University in Prague
Faculty of Electrical Engineering
Department of Computer Science
Karlovo námestí 13
120 00 Praha 2
Tschechische Republik

Projekte

Als Antragsteller
- abgeschlossene Projekte
  - Gerichtete Modellprüfung mit Explorationsverfahren der Künstlichen Intelligenz (Sachbeihilfen)
  - Aktionsplan Informatik: Heuristische Suche (Emmy Noether-Nachwuchsgruppen (Aktionsplan Informatik))
  - Modellprüfung auf Flashspeicher-Festplatte und Grafikkarte (Model Checking on SSD and GPU) (Sachbeihilfen)
Als Ehemaliger Antragsteller
- abgeschlossene Projekte
  - Externe zielgerichtete Suche in impliziten Graphen (Schwerpunktprogramme) bis 4/2008
  - Planungsverfahren für das Allgemeine Spiel (Sachbeihilfen) bis 8/2012

Servicenavigation

Hauptnavigation

Professor Dr. Stefan Edelkamp

Zusatzinformationen

Servicenavigation

Hauptnavigation

Professor Dr. Stefan Edelkamp

Zusatzinformationen

Textvergrößerung und Kontrastanpassung