Register Set Automata (Technical Report). - Sabína Gulcíková; Ondrej Lengál (CoRR, 2022)