lehre:abschlussarbeiten:erweiterung_der_symbolischen_zustandsdarstellung_in_mc