Automated behavior modeling for verifying safety-relevant modules.

Vladislav Nenchev

Published in: IRC (2021)

Keyphrases

building blocks
semi automated
closely related
machine learning
information retrieval
fully automated
modeling language
data sets
databases
decision making
semi automatic