Towards Probability-based Safety Verification of Systems with Components from Machine Learning

Hermann Kaindl, Stefan Kramer

Machine learning (ML) has recently created many new success stories. Hence, there is a strong motivation to use ML technology in software-intensive systems, including safety-critic…