Cooperative Concurrent Games

Keyphrases

• Concurrent Games 100%
• Rational Verification 100%
• Coalition Formation 33%
• Computational Model 33%
• Computational Complexity 33%
• Logic Formulas 33%
• P-space 33%
• Temporal Logic 33%
• Solution Concepts 33%
• Verification Framework 33%
• Concurrent Game Structures 33%
• Temporal Logic Properties 33%
• Reasoning Framework 33%
• Decision Problems 33%
• Nonoperative 33%
• Individual Goals 33%

Computer Science

• Temporal Logic 100%
• Computational Modeling 50%
• Computational Complexity 50%
• Form Coalition 50%
• Decision Problem 50%
• Coalition Formation 50%
• Solution Concept 50%