A ROS implementation of Reliable Autonomous Programs (RAMPs) This repository contains a route planning implementation of RAMPs.