INESC TEC participa em simpósio sobre AUVs