research
∙
08/23/2023
Resiliency Analysis of LLM generated models for Industrial Automation
This paper proposes a study of the resilience and efficiency of automati...
share
research
∙
09/23/2022
Facilitating Change Implementation for Continuous ML-Safety Assurance
We propose a method for deploying a safety-critical machine-learning com...
research
∙
10/02/2019
Improving Reasoning on DQBF
The aim of this PhD project is to develop fast and robust reasoning tool...
research
∙
07/25/2019
Introducing Autarkies for DQCNF
Autarkies for SAT can be used for theoretical studies, pre-processing an...
research
∙
10/10/2018
Synthesis for Vesicle Traffic Systems
Vesicle Traffic Systems (VTSs) are the material transport mechanisms amo...
research
∙
04/15/2018