@inproceedings{gonzalezfernandez2024formalizing, title={Formalizing Robotics Competitions: A practical case for RoboCup@Home Challenge}, url={http://dx.doi.org/10.1109/icarsc61747.2024.10535938}, DOI={10.1109/icarsc61747.2024.10535938}, booktitle={2024 IEEE International Conference on Autonomous Robot Systems and Competitions (ICARSC)}, publisher={IEEE}, author={González-Fernández, Irene and González-Santamarta, Miguel Á. and Álvarez-Aparicio, Claudia and Peña Narváez, Juan Diego and Martín, Francisco and Rodríguez-Lera, Francisco J.}, year={2024}, month=May, pages={60–65} }