Mori dream K3 surfaces of Picard number four: projective models and Cox rings

In this paper we study the geometry of the 14 families of K3 surfaces of Picard number four with finite automorphism group, whose Neron—Severi lattices have been classified by È. B. Vinberg. We provide projective models, we identify the degrees of a generating set of the Cox ring and in some cases we prove the unirationality of the associated moduli space.