Keyphrases
- reinforcement learning
- function approximation
- theorem prover
- formal methods
- markov decision processes
- reinforcement learning algorithms
- theorem proving
- learning process
- learning algorithm
- temporal difference learning
- model free
- optimal control
- transfer learning
- robotic control
- deep learning
- decision trees
- dynamic programming
- state space
- supervised learning
- artificial neural networks
- multi agent
- temporal difference
- higher order
- search engine
- control problems
- dynamical systems
- function approximators
- neural network
- natural deduction
- optimal policy