TY  - RPRT
TI  - Polynomial Logical Zonotope: A Set Representation for Reachability Analysis of Logical Systems
AU  - Amr Alanwar
AU  - Frank J. Jiang
AU  - Karl H. Johansson
PY  - 2024
UR  - https://arxiv.org/abs/2306.12508
ID  - 2306.12508
ER  -