A Model-based Approach to the Development and Verification of Robotic Systems for Competitions

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]

Authors

Marcus Santos

This author has not been identified. Look up 'Marcus Santos' in Google

Madiel Conserva Filho

This author has not been identified. Look up 'Madiel Conserva Filho' in Google

Augusto Sampaio

This author has not been identified. Look up 'Augusto Sampaio' in Google