Reinforcement Learning and Formal Requirements.
Fabio SomenziAshutosh TrivediPublished in: NSV@CAV (2019)
Keyphrases
- reinforcement learning
- machine learning
- function approximation
- requirements specification
- state space
- temporal difference
- neural network
- application specific
- markov decision processes
- functional requirements
- information retrieval
- temporal difference learning
- learning capabilities
- multi agent reinforcement learning
- reinforcement learning algorithms
- databases
- robotic control
- model free
- user requirements
- formal model
- optimal policy
- mobile robot
- dynamic programming
- learning process
- multi agent
- information systems