Foundations of Artificial Intelligence (FAI) Group
divider line


   Home    People    Research    Projects    Software    Teaching    Student Projects    Publications

Simulated Network-Penetration Testing.

This project is funded by the Federal Ministry of Education and Research (Bundesministerium fuer Bildung und Forschung, BMBF). It runs from 08/16 until 07/20.

The project investigates models and methods for simulated penetration testing (see our Research page). It also considers advanced methods like suggesting fixes, applied aspects such as generating a situation summary, and the potential synergy with intrusion detection.


Star-Topology Decoupled State Space Search.

This project is funded by the German Research Foundation (Deutsche Forschungsgemeinschaft, DFG). It runs from 05/16 until 04/19.

The project investigates star-topology decoupling, its combination with other search methods, and its application to model checking (see our Research page).


Critically Constrained Planning via Partial Delete Relaxation.

This project is funded by the German Research Foundation (Deutsche Forschungsgemeinschaft, DFG). Its initial phase runs from 01/15 until 12/16. Its second phase will run from 01/17 to 06/19.

The project investigates partial-delete relaxation methods and their properties (see our Research page), with a special focus on resource-constrained planning where the goal needs to be attained subject to fixed resource budgets.