Verification-Guided Shielding for Deep Reinforcement Learning.
Davide CorsiGuy AmirAndoni RodriguezCesar SanchezGuy KatzRoy FoxPublished in: CoRR (2024)
Keyphrases
- reinforcement learning
- model checking
- function approximation
- state space
- reinforcement learning algorithms
- markov decision processes
- temporal difference
- multi agent
- robotic control
- asynchronous circuits
- model free
- optimal control
- formal methods
- verification method
- reinforcement learning methods
- information systems
- relational reinforcement learning
- concurrent systems
- policy search
- autonomous learning
- semi supervised
- fingerprint verification
- person identification
- deep learning
- robot control
- optimal policy
- reward function
- learning problems
- action selection