Verification of Image-based Neural Network Controllers Using Generative Models.
Sydney M. KatzAnthony L. CorsoChristopher A. StrongMykel J. KochenderferPublished in: CoRR (2021)
Keyphrases
- generative model
- neural network
- probabilistic model
- discriminative models
- mixture model
- discriminative learning
- artificial neural networks
- back propagation
- em algorithm
- semi supervised
- prior knowledge
- hierarchical hidden markov models
- generative and discriminative models
- knn
- topic models
- computer vision
- graphical models
- information extraction
- semi supervised learning
- conditional random fields
- object categories
- image processing
- information retrieval