Keyphrases
- reinforcement learning
- function approximation
- state space
- model free
- formal specification
- reinforcement learning algorithms
- multi agent
- machine learning
- temporal difference
- temporal difference learning
- real world
- high level
- policy search
- formal methods
- markov decision processes
- function approximators
- databases
- conceptual model
- optimal policy
- real time
- transfer learning
- model checking
- reward function
- artificial intelligence
- data mining
- neural network