A fruitful way to produce examples of IHS varieties is to consider terminalizations of symplectic quotients of symplectic varieties. In a work in collaboration with A. Grossi, M. Mauri and E. Mazzon we classify all terminalizations of quotients of Hilbert schemes of K3 surfaces and generalized Kummer varieties by the action of symplectic automorphisms induced by the underlying surface. Furthermore, we determine their second Betti number, the fundamental group of their singular locus and, in the Kummer case, we determine the singularities of their universal quasi-étale cover. Finally, we compare our deformation types with the examples known in literature, placing our work in the classification program proposed by Menet.