Foundations of Artificial Intelligence (FAI) Group
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
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
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