Strategising RoboCup in Real Time with Uppaal Stratego.

Philip I. Holler, Magnus K. Jensen, Hannah Marie K. Lockey, Michele Albano

Browse the full ICAART paper archive.