Houston developer of autonomous subsea robots and the ToolKITT autonomy software for ocean industries, listed on Nasdaq as KITT.