Henning Schnoor. Epistemic and Probabilistic ATL with Quantification and Explicit Strategies. In Joaquim Filipe, Ana L. N. Fred, editors, Agents and Artificial Intelligence - 5th International Conference, ICAART 2013, Barcelona, Spain, February 15-18, 2013. Revised Selected Papers. Volume 449 of Communications in Computer and Information Science, pages 131-148, Springer, 2013. [doi]
Abstract is missing.