Multi-player Equilibria Verification for Concurrent Stochastic Games

Computer Science

• Temporal Logic 100%
• Case Study 50%
• And-States 50%
• Security protocols 50%
• Nash Equilibrium 50%
• Communication Protocol 50%
• Model Checking Algorithm 50%
• multiple robot 50%
• Probabilistic Modeling 50%
• Public Good Game 50%
• Robot Navigation 50%
• Rational Decision 50%
• Secret Sharing 50%

Keyphrases

• Stochastic Games 100%
• Verification Method 50%
• Rational Decision 25%
• Temporal Logic 25%
• Multiple Components 25%
• Probabilistic Systems 25%
• Social Cost 25%
• Communication Protocol 25%
• Security Protocols 25%
• Social Welfare 25%
• Nash Equilibrium 25%
• Checking Algorithm 25%
• Optimal Cost 25%
• Public Goods Game 25%
• Game Tools 25%
• Welfare Costs 25%
• Alternating-time Temporal Logic 25%
• Robot Navigation 25%
• Combined Objectives 25%
• Multiple Games 25%
• Stopping Game 25%
• Secret Sharing Protocol 25%
• Game State 25%