Exakte Erreichbarkeitsanalyse logischer Systeme mit eingeschränkten polynomialen logischen Zonotopen

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