collaborators

1 paper

eess.SY2022

Logical Zonotopes: A Set Representation for the Formal Verification of Boolean Functions

Amr Alanwar, Frank J. Jiang, Samy Amin +1

A logical zonotope, which is a new set representation for binary vectors, is introduced in this paper. A logical zonotope is constructed by XOR-ing a binary vector with a combinati…