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

Hermann Kaindl Stefan Kramer

Published in: CoRR (2020)

Keyphrases

machine learning
building blocks
pattern recognition
safety analysis
management system
database systems
database
distributed systems
computer systems
software engineering
machine learning approaches
inductive learning
model checking
knowledge acquisition
computer science
decision trees
computer vision
data mining