Verification of Image-Based Neural Network Controllers Using Generative Models.
Sydney M. KatzAnthony L. CorsoChristopher A. StrongMykel J. KochenderferPublished in: J. Aerosp. Inf. Syst. (2022)
Keyphrases
- generative model
- neural network
- probabilistic model
- mixture model
- discriminative models
- back propagation
- discriminative learning
- em algorithm
- semi supervised
- generative and discriminative models
- conditional random fields
- hierarchical hidden markov models
- prior knowledge
- topic models
- artificial neural networks
- maximum entropy principle
- object categories
- hidden layer
- reinforcement learning
- discriminatively trained
- semi supervised learning
- expectation maximization
- object recognition
- image processing