Interactive Verification of Game Design and Playing Strategies

Dimitrios Kalles, Eirini Ntoutsi. Interactive Verification of Game Design and Playing Strategies. In 14th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2002), 4-6 November 2002, Washington, DC, USA. pages 425-430, IEEE Computer Society, 2002. [doi]

Abstract

Abstract is missing.