Using Deep Reinforcement Learning and Formal Verification in Safety Critical Systems: Strategies and Challenges

Keyphrases

• Safety-critical Systems 100%
• System Challenges 100%
• System Strategy 100%
• Deep Reinforcement Learning (deep RL) 100%
• Formal Verification 100%
• Verification Method 33%
• Artificial Intelligence 16%
• Realistic Scenario 16%
• Autonomous Vehicles 16%
• Reinforcement Learning Algorithm 16%
• Rapid Ascent 16%
• Verification Framework 16%

Computer Science

• Safety Critical Systems 100%
• Formal Verification 100%
• Deep Reinforcement Learning 100%
• System Strategy 100%
• Decision-Making 16%
• Autonomous Vehicles 16%
• Learning Technique 16%

Engineering

• Critical System 100%
• Reinforcement Learning 100%
• Real Life 20%
• Reinforcement Learning Technique 20%