A characterization of mixed-strategy nash equilibria in PCTL augmented with a cost quantifier

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6214 LNAI, Issue , 2010, Pages 158-177

  Góngora, Pedro Arturo ^a   Rosenblueth, David A ^a  

^a IIMAS UNAM   (Mexico)

Author keywords

[No Author keywords available]

Indexed keywords

DISCRETE TIME MARKOV CHAINS; DYNAMIC LOGIC; EXPECTED COSTS; NASH EQUILIBRIA; PROBABILISTIC COMPUTATION; TREE LOGIC; UTILITY FUNCTIONS; GAME-THEORETIC; MIXED STRATEGY GAME; PROBABILISTIC COMPUTATION TREE LOGIC (PCTL); STRATEGY GAMES;

COMPUTATION THEORY; GAME THEORY; INTELLIGENT AGENTS; LOGIC PROGRAMMING; MARKOV PROCESSES; MODEL CHECKING; PROBABILISTIC LOGICS; TEMPORAL LOGIC; COMPUTER CIRCUITS; FORMAL LOGIC; STOCHASTIC SYSTEMS;

MULTI AGENT SYSTEMS;

EID: 78649945310     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-16867-3_9     Document Type: Conference Paper

References (10)

1. Baier, C., Katoen, J.-P.: Principles of Model Checking. The MIT Press, Cambridge (2008)
2. Ballarini, P., Fisher, M., Wooldridge, M.: Automated game analysis via probabilistic model checking: a case study. In: Proceedings of the Third Workshop on Model Checking and Artificial Intelligence, pp. 125-137 (2006)
3. Bonanno, G.: Branching time, perfect information games, and backward induction. Games and Economic Behavior 36, 57-73 (2001)
4. Hansson, H., Jonsson, B.: A logic for reasoning about time and reliability. Formal Aspects of Computing 6, 102-111 (1994)
5. Harrenstein, P., van der Hoek, W., Meyer, J.-J., Witteveen, C.: On modal logic interpretations of games. In: Proceedings of the Fifteenth European Conference on Artificial Intelligence, pp. 28-32 (2002)
6. Jamroga, W.: A temporal logic for multi-agent mdp's. In: Proceedings of the AAMAS Workshop on Formal Models for Multi-Robot Systems, pp. 29-34 (2008)
7. Osborne, M.J., Rubinstein, A.: A Course in Game Theory. The MIT Press, Cambridge, Massachusetts (1994)
8. Pauly, M., Wooldridge, M.: Logic for mechanism design - a manifesto. In: In Proceedings of the 2003 Workshop on Game Theory and Decision Theory in Agent Systems, GTDT 2003 (2003)
9. van der Hoek, W., Jamroga, W., Wooldridge, M.: A logic for strategic reasoning. In: AAMAS 2005: Proceedings of the Fourth International Joint Conference on Autonomous Agents and Multiagent Systems, pp. 157-164. ACM, New York (2005)
10. van der Hoek, W., Roberts, M., Wooldridge, M.: Social laws in alternating time: Effectiveness, feasibility, and synthesis. Synthese 156(1), 1-19 (2007)