Formal Verification with Constrained Polynomial Logical Zonotope

Constrained polynomial logical zonotopes enhance reachability analysis in logical systems.