On verifying game designs and playing strategies usinng reinforcement learning. CTI Technical Report TR 2000/08/01 - Καλλές, Δημήτριος; Κανελλόπουλος, Παναγιώτης Κ., 1902-1986 (CTI, 2000)