Towards Scalable Verification of Deep Reinforcement Learning

Keyphrases

• Deep Reinforcement Learning (deep RL) 100%
• Scalable Verification 100%
• Reinforcement Learning System 60%
• Whirl 60%
• Deep Neural Network 40%
• Formal Verification 20%
• Communication Networks 20%
• Publicly Available 20%
• Safety Properties 20%
• Liveness Properties 20%
• Real-world Systems 20%
• Semi-automated 20%
• Complexing Properties 20%
• K-induction 20%
• Control Policy 20%
• Invariant Inference 20%
• Network Domain 20%

Computer Science

• Deep Reinforcement Learning 100%
• Learning System 60%
• Deep Neural Network 40%
• Case Study 20%
• Formal Verification 20%
• Liveness Property 20%
• Communication Network 20%
• Generalizability 20%
• Network Domain 20%