TY  - RPRT
TI  - Logical Zonotopes: A Set Representation for the Formal Verification of Boolean Functions
AU  - Amr Alanwar
AU  - Frank J. Jiang
AU  - Samy Amin
AU  - Karl H. Johansson
PY  - 2023
UR  - https://arxiv.org/abs/2210.08596
ID  - 2210.08596
ER  -