Playing Wordle with Uppaal Stratego. - Jensen, Peter Gjøl; Larsen, Kim G.; Mikucionis, Marius (2022)