Quoc-Nam Tran, Giridhar Hariharan. Using Model Checking for Decision Making in Computer Games. In Hamid R. Arabnia, George A. Gravvanis, editors, Proceedings of the 2009 International Conference on Foundations of Computer Science, FCS 2009, July 13-16, 2009, Las Vegas Nevada, USA. pages 3-8, CSREA Press, 2009.
Abstract is missing.