Einführung eingeschränkter polynomialer logischer Zonotope zur exakten Berechnung der Erreichbarkeitsmengen logischer Systeme, um deren formale Verifikation zu ermöglichen.
