Pedro Arturo Góngora, David A. Rosenblueth. A Characterization of Mixed-Strategy Nash Equilibria in PCTL Augmented with a Cost Quantifier. In Jürgen Dix, Michael Fisher, Peter Novák, editors, Computational Logic in Multi-Agent Systems - 10th International Workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers. Volume 6214 of Lecture Notes in Computer Science, pages 158-177, Springer, 2009. [doi]