Interactive verification of game design and playing strategies | IEEE Conference Publication | IEEE Xplore