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]
@inproceedings{KallesN02, title = {Interactive Verification of Game Design and Playing Strategies}, author = {Dimitrios Kalles and Eirini Ntoutsi}, year = {2002}, url = {http://csdl.computer.org/comp/proceedings/ictai/2002/1849/00/18490425abs.htm}, tags = {design}, researchr = {https://researchr.org/publication/KallesN02}, cites = {0}, citedby = {0}, pages = {425-430}, booktitle = {14th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2002), 4-6 November 2002, Washington, DC, USA}, publisher = {IEEE Computer Society}, isbn = {0-7695-1849-4}, }