TY  - RPRT
TI  - Towards Probability-based Safety Verification of Systems with Components from Machine Learning
AU  - Hermann Kaindl
AU  - Stefan Kramer
PY  - 2020
UR  - https://arxiv.org/abs/2003.01155
ID  - 2003.01155
ER  -