Probabilistic Temporal Logic for Reasoning about Bounded Policies

Keyphrases

• Computational Properties 50%
• Decision-making Policies 50%
• Expressive Power 50%
• Intention Revision 50%
• Liveness Properties 50%
• Markov Decision Process 50%
• Probabilistic Temporal Logic 100%
• PSPACE-complete 50%
• Satisfiability Problem 50%
• Stochastic Environment 50%
• Uncertain Outcome 50%

Computer Science

• Decision-Making 50%
• Expressive Power 50%
• Liveness Property 50%
• Markov Decision Process 50%
• Model Checking Problem 50%
• Satisfiability Problem 50%
• Temporal Logic 100%