I created the High Integrity Sumobot using Ada/SPARK and high integrity software engineering techniques. I wanted to make it easy for people interested in Ada/SPARK to see how all the pieces fit ...

Welcome to the Universidad de Chile SumoBot Project! This repository contains the design, code and documentation for a competitive sumo robot built by a team of engineering students at the Universidad ...

Abstract: This paper shows a SumoBot, a set of processorindependent robotics instructions, which empowers instructors to compose robotics code fit for winning on any equipment. Enables educators to ...