Sign in

Specifying and Testing k-Safety Properties for Machine-Learning Models.

Maria ChristakisHasan Ferit EniserJörg HoffmannAdish SinglaValentin Wüstholz
Published in: CoRR (2022)
Keyphrases
  • machine learning models
  • spam filtering
  • machine learning algorithms
  • machine learning approaches
  • machine learning
  • neural network
  • reinforcement learning
  • data analysis
  • graphical models
  • generative model