Robodeck is automating deck maintenance with robotics.