Deep Binary Reinforcement Learning for Scalable Verification.
Christopher LazarusMykel J. KochenderferPublished in: CoRR (2022)
Keyphrases
- reinforcement learning
- function approximation
- state space
- model checking
- machine learning
- highly scalable
- reinforcement learning algorithms
- temporal difference
- learning process
- dynamic programming
- markov decision processes
- verification method
- memory efficient
- web scale
- face verification
- temporal logic
- database
- optimal policy
- multi agent
- hamming distance
- action selection
- transfer learning
- learning capabilities
- mobile robot
- neural network
- temporal difference learning
- real time