Philipp Holler, Magnus K. Jensen, Hannah Marie K. Lockey, Michele Albano. Strategising RoboCup in Real Time with Uppaal Stratego. In Ana Paula Rocha 0001, Luc Steels, H. Jaap van den Herik, editors, Proceedings of the 13th International Conference on Agents and Artificial Intelligence, ICAART 2021, Volume 1, Online Streaming, February 4-6, 2021. pages 273-280, SCITEPRESS, 2021. [doi]
Abstract is missing.