Text this: On verifying game designs and playing strategies usinng reinforcement learning. CTI Technical Report TR 2000/08/01