Learning Markov Decision Processes for Model Checking

Computer Science

• Markov Decision Process 100%
• Model Checking 100%
• System Behavior 100%
• Linear Temporal Logic 50%
• Reactive System 50%
• Automaton 50%
• Process Model 50%
• Finite Automata 50%
• Learning Systems 50%
• Observed Behavior 50%
• Learning Algorithm 50%

Keyphrases

• Temporal Logic Properties 50%
• Markov Decision Model 50%
• Optimal Schedulers 50%