Formalizing Robotics Competitions: A practical case for RoboCup@Home Challenge. - Irene González-Fernández; Miguel Ángel González Santamarta; Claudia Álvarez-Aparicio; Juan Diego Peña Narváez; Francisco Martín 001; Francisco J. Rodríguez-Lera (ICARSC, 2024)