Foundations of Artificial Intelligence (FAI) Group

Closed-Loop Safety Verification of Learned Tree-Ensemble Policies in Planning (DFG, 2027 - 2029)

Joint project with Jesse Davis at KU Leuven, jointly funded by DFG (German Research Foundation/Deutsche Forschungsgemeinschaft) and FWO (Research Foundation Flanders/Fonds Wetenschappelijk Onderzoek) under the Weave program.

Neuroexplicit Models of Language, Vision, Action (DFG, 2023 - 2028)

Research training group Neuroexplicit Models of Language, Vision, Action, funded by DFG (German Research Foundation/Deutsche Forschungsgemeinschaft).

Foundations of Perspicuous Software Systems (CPEC; DFG, 2019 - 2026)

Collaborative research center (Sonderforschungsbereich) Foundations of Perspicuous Software Systems, funded by DFG (German Research Foundation/Deutsche Forschungsgemeinschaft).

Information Density and Linguistic Encoding (Ideal; DFG, 2018 - 2026)

Collaborative research center (Sonderforschungsbereich) Information Density and Linguistic Encoding, funded by DFG (German Research Foundation/Deutsche Forschungsgemeinschaft).

Trustworthy Planning and Scheduling with Learning and Explanations (TUPLES; EU, 2022 -- 2025)

This project is funded by the European Union (EU) as part of the Horizon Europe programme.

Explaining the Space of Plans (XPP; AFOSR, 2018 -- 2023)

This project is conducted jointly with Daniele Magazzeni at King's College London. It is funded by AFOSR (U.S. Air Force Office of Scientific Research).

Star-Topology Decoupled State Space Search (DFG, 2016 -- 2022)

This project is funded by DFG (German Research Foundation/Deutsche Forschungsgemeinschaft).

Optimizing Planning Domains (DAAD, 2017 -- 2018)

This project is conducted jointly with Carlos Areces at Universidad Nacional de Cordoba, Argentina. It is funded by DAAD (German Academic Exchange Service/Deutscher Akademischer Austauschdienst), and supports travel for research visits between the two locations.

Simulated Network-Penetration Testing (BMBF, 2016 -- 2020)

This project is conducted jointly with Michael Backes at CISPA. It is funded by BMBF (Federal Ministry of Education and Research/Bundesministerium fuer Bildung und Forschung).

Critically Constrained Planning via Partial Delete Relaxation (DFG, 2015 -- 2019)

This project is funded by DFG (German Research Foundation/Deutsche Forschungsgemeinschaft).