Go directly to content Go directly to font size and contrast

Project Details

Institution

Print View

Czech Technical University in Prague
Faculty of Electrical Engineering
Department of Computer Science

Address Karlovo námestí 13
120 00 Praha 2
Tschechische Republik

120 00 Praha 2

Projects

Research Grants
- Completed projects
  - Directed model checking with AI exploration algorithms
    (Applicant Edelkamp, Stefan )
  - Modellprüfung auf Flashspeicher-Festplatte und Grafikkarte (Model Checking on SSD and GPU)
    (Applicant Edelkamp, Stefan )
  - Planungsverfahren für das Allgemeine Spiel
    (Applicant Lawo, Michael )
  - Star-Topology Decoupled State Space Search
    (Applicant Hoffmann, Jörg )
Emmy Noether Independent Junior Research Groups
- Completed projects
  - Heuristic search
    (Applicant Edelkamp, Stefan )
Priority Programmes
- Completed projects
  - Externe zielgerichtete Suche in impliziten Graphen
    (Applicant Steffen, Bernhard )

© 2026 DFG Disclaimer / Copyright / Privacy Policy