Verifying learning-augmented systems

Keyphrases

• Deep Reinforcement Learning (deep RL) 100%
• Augmented System 100%
• Whirl 75%
• Learning Policy 50%
• Formal Verification 25%
• Recent Advances 25%
• Recent Applications 25%
• Deep Neural Network 25%
• Computing Cluster 25%
• Computer System 25%
• Real Environment 25%
• Job Scheduling 25%
• Internet Congestion Control 25%
• Adaptive Video Streaming 25%
• Scalable Model 25%
• Specific Scenario 25%
• Networked Systems 25%
• Model Checking Techniques 25%
• Systems Context 25%

Computer Science

• Deep Reinforcement Learning 100%
• Formal Verification 25%
• Congestion Control 25%
• Model Checking 25%
• Job Scheduling 25%
• Video Streaming 25%
• Basic Requirement 25%
• Checking Technique 25%
• Deep Neural Network 25%