research
∙
09/23/2022
Facilitating Change Implementation for Continuous ML-Safety Assurance
We propose a method for deploying a safety-critical machine-learning com...
share
research
∙
05/16/2022
Prioritizing Corners in OoD Detectors via Symbolic String Manipulation
For safety assurance of deep neural networks (DNNs), out-of-distribution...
research
∙
02/18/2022
SMC4PEP: Stochastic Model Checking of Product Engineering Processes
Product Engineering Processes (PEPs) are used for describing complex pro...
research
∙
02/10/2022