Deep Reinforcement Learning Verification: A Survey.
Matthew LandersAfsaneh DoryabPublished in: ACM Comput. Surv. (2023)
Keyphrases
- reinforcement learning
- reinforcement learning algorithms
- function approximation
- model checking
- multi agent
- model free
- state space
- temporal difference learning
- dynamic programming
- face verification
- asynchronous circuits
- verification method
- optimal policy
- learning algorithm
- markov decision processes
- machine learning
- function approximators
- partially observable
- fingerprint verification
- robotic control
- direct policy search
- person identification
- real time
- autonomous learning
- multi agent reinforcement learning
- learning agents
- formal verification
- robot control
- learning process
- decision trees
- knowledge base
- search engine
- information retrieval
- data sets