Login / Signup

UCLID5: Integrating Modeling, Verification, Synthesis and Learning.

Sanjit A. SeshiaPramod Subramanyan
Published in: MEMOCODE (2018)
Keyphrases
  • learning process
  • learning algorithm
  • learning systems
  • decision trees
  • supervised learning
  • learning tasks
  • learning scheme
  • machine learning
  • reinforcement learning
  • online learning
  • learning problems
  • inductive learning