PruVer: Verification Assisted Pruning for Deep Reinforcement Learning.
Briti GangopadhyayPallab DasguptaSoumyajit DeyPublished in: PRICAI (1) (2022)
Keyphrases
- reinforcement learning
- search space
- markov decision processes
- pruning method
- state space
- model checking
- function approximation
- learning algorithm
- optimal policy
- deep learning
- temporal difference
- tree pruning
- reinforcement learning methods
- pruning algorithm
- face verification
- model free
- learning process
- dynamical systems
- monte carlo
- formal analysis
- formal verification
- multi agent
- case study
- data mining
- pruning algorithms
- robotic control
- real time