Pontus is the autonomy software stack for RoboSub. Documentation can be found with the repository on GitHub.