This mini-sumobot is an advanced-level project programmed in Ada/SPARK and Arduino (C++). This document contains all the instructions you’ll need to build your own High Integrity Sumobot.

Continue reading