Strategising RoboCup in Real Time with Uppaal Stratego

Philip Irming Holler, Magnus Kirkegaard Jensen, Hannah Marie Lockey, Michele Albano

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

39 Downloads (Pure)


The RoboCup simulator is a playing ground for Agents and Artificial Intelligence research. One of the main challenges provided by RoboCup is generating winning strategies for a set of agents playing soccer, given a partial and noisy view of the game state. Additionally, RoboCup is timing sensitive, and all decisions have to be sent to the server within each tick of 100ms. This paper presents a method for generating strategies by modelling players and scenarios as timed automata in the Uppaal environment. The newest extension of Uppaal, called Uppaal Stratego, allows for synthesising strategies optimising a reward function that is used to guide the decision process. In order to stay within the time frame of 100ms, two approaches were tested, namely forecasting the game state and generating a strategy asynchronously for a later point in time, and generating strategies beforehand and saving them in a lookup table. Four timed automata were developed, and were tested against publicly available methods. We found that strategies could be successfully generated and used within the time constraints of RoboCup using our proposed method. Especially when combined together, our strategies are able to outperform most published methods, but lose against the published world champions.
TitelProceedings of 13th International Conference on Agents and Artificial Intelligence - Volume 1: ICAART
RedaktørerAna Paula Rocha, Luc Steels, Jaap van den Herik
Antal sider8
ForlagSCITEPRESS Digital Library
Publikationsdato4 feb. 2021
ISBN (Elektronisk)978-989-758-484-8
StatusUdgivet - 4 feb. 2021
Begivenhed13th International Conference on Agents and Artificial Intelligence - Vienna, Østrig
Varighed: 4 feb. 20216 feb. 2021
Konferencens nummer: ICAART 2021


Konference13th International Conference on Agents and Artificial Intelligence
NummerICAART 2021
NavnInternational Conference on Agents and Artificial Intelligence - Proceeding


Dyk ned i forskningsemnerne om 'Strategising RoboCup in Real Time with Uppaal Stratego'. Sammen danner de et unikt fingeraftryk.