Strategising RoboCup in Real Time with Uppaal Stratego. - Philip I. Holler; Magnus K. Jensen; Hannah Marie K. Lockey; Michele Albano (ICAART (1), 2021)