Projects
QuADTool
We provide a highly user-friendly tool for Synthesis of Cyber-security models based on the attack-tree concept. It also features interfaces to a variety of other tools and model-checkers, as well as built-in analysis for uncertain values. Additionally, the CLI can be used to learn attack-trees from logfiles or other traces.
FSCs for POMDPs
Finding compact and explainable representations of strategies for POMDPs using finite state controllers.
Fuzzy Path Logic
We develop a logic over signals in which it is easier to specify preferences using fuzzy paths. We developed the logic so that it is more amenable to learning.
SemML
In this project we develop learning-based exploration heuristics for LTL Synthesis that exploit the semantic labelling of the underlying Automaton/Game.
MONITIZER
We create a tool (Monitizer) that optimizes monitors on a NN for a specific task.
dtControl
Represent controllers as decision trees. Improve memory footprint, boost explainability while preserving guarantees.
Automata Tutor is an online teaching tool that aids instructors and students in large courses on automata and formal languages with many different exercise types.
