Login / Signup

Programming Behavioral Test Models for SMT Solving in Scala.

Bernhard K. AichernigBenedikt MaderbacherStefan Tiran
Published in: ICST Workshops (2019)
Keyphrases
  • probabilistic model
  • programming language
  • learning algorithm
  • social networks
  • training data
  • artificial neural networks
  • model selection
  • machine learning algorithms
  • complex systems
  • process model