Verification of markov decision processes using learning algorithms

Keyphrases

• Learning Algorithm 100%
• Markov Decision Process 100%
• Performance Improvement 20%
• State Space 20%
• Machine Learning Algorithms 20%
• Probabilistic Reachability 20%
• Stopping Criterion 20%
• Instantiation 20%
• Full Knowledge 20%
• Probabilistic Guarantee 20%
• Statistical Model Checking 20%
• Core Properties 20%

Computer Science

• Learning Algorithm 100%
• Markov Decision Process 100%
• Approximation (Algorithm) 20%
• Experimental Result 20%
• Statistical Model 20%
• State Space 20%
• Machine Learning Algorithm 20%
• Instantiation 20%

Mathematics

• Markov Decision Process 100%
• Lower and upper bounds 40%
• Probability Theory 20%
• Statistical Model 20%