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

Amr Alanwar Frank J. Jiang Samy Amin Karl Henrik Johansson

Published in: CDC (2023)

Keyphrases

boolean functions
formal verification
threshold functions
binary decision diagrams
truth table
relevant variables
symbolic model checking
relational databases
multi class
knowledge based systems
model checking
membership queries