Does anyone know what mapping software these guys are using (SLAM implementation perhaps?)?