Polynomial Logical Zonotopes for Reachability Analysis of Logical Systems

Polynomial logical zonotopes enable exact reachability analysis in logical systems, overcoming limitations of logical zonotopes.