Interactive Verification of Game Design and Playing Strategies - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Dimitrios Kalles' in GoogleThis author has not been identified. Look up 'Eirini Ntoutsi' in Google

runs on WebDSL