Improving Performance of Feedback-Based Real-Time Networks using Model Checking and Reinforcement Learning

Computer Science

• Reinforcement Learning 100%
• Model Checking 100%
• Event 20%
• Computer Science 20%
• Expert Knowledge 20%
• Automation 20%
• Control Theory 20%
• Resource Allocation 20%
• Channels 20%
• Processing Algorithm 20%
• Deadlines 20%
• Communication Network 20%
• Routing Decision 20%
• Preprocessing 20%
• Optimal Routing 20%
• routing path 20%
• Markov Decision Process 20%
• Learning Technique 20%
• Surveillance Camera 20%
• Image Capture 20%
• Formal Verification 20%