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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.