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.