Graded Monads in the Semantics of Nominal Automata. - Hannes Schulze; Lutz Schröder; Üsame Cengiz (CoRR, 2025)