Patrick Koopmann Ph.D.Person AffiliationsChair of Automata Theory- Academic Staffpatrick.koopmann@tu-dresden.de Identification Numbers ORCID 0000-0001-5999-2583 Scopus author ID 52264061900