Verification of Visual Controllers via Compositional Geometric TransformationsShare on Twitter Facebook LinkedIn Previous Next