@misc{indiciae8fa3da38f016,
  title = {Logical Zonotopes: A Set Representation for the Formal Verification of Boolean Functions},
  author = {Amr Alanwar and Frank J. Jiang and Samy Amin and Karl H. Johansson},
  year = {2023},
  url = {https://arxiv.org/abs/2210.08596},
  note = {Source identifier: 2210.08596}
}