Modelling and verification of in-game setplay behaviours module for RoboCup soccer simulation 2D

Title: Modelling and verification of in-game setplay behaviours module for RoboCup soccer simulation 2D Authors: SOUZA, Gabriel Lopes de Abstract: In the RoboCup Soccer Simulation 2D (SS2D) league, a team consists of independent programs that must decide how to act at every simulation cycle under noisy and partial information. These behaviours are implemented directly as imperative C++ code, which…