Αποστολή με SMS: On verifying game designs and playing strategies usinng reinforcement learning. CTI Technical Report TR 2000/08/01