Marcus Santos, Madiel Conserva Filho, Augusto Sampaio. A Model-based Approach to the Development and Verification of Robotic Systems for Competitions. In Latin American Robotics Symposium, Brazilian Symposium on Robotics, and Workshop on Robotics in Education, LARS/SBR/WRE 2023, Salvador, Brazil, October 9-11, 2023. pages 236-241, IEEE, 2023. [doi]
@inproceedings{SantosFS23,
title = {A Model-based Approach to the Development and Verification of Robotic Systems for Competitions},
author = {Marcus Santos and Madiel Conserva Filho and Augusto Sampaio},
year = {2023},
doi = {10.1109/LARS/SBR/WRE59448.2023.10333030},
url = {https://doi.org/10.1109/LARS/SBR/WRE59448.2023.10333030},
researchr = {https://researchr.org/publication/SantosFS23},
cites = {0},
citedby = {0},
pages = {236-241},
booktitle = {Latin American Robotics Symposium, Brazilian Symposium on Robotics, and Workshop on Robotics in Education, LARS/SBR/WRE 2023, Salvador, Brazil, October 9-11, 2023},
publisher = {IEEE},
isbn = {979-8-3503-1538-7},
}