TY  - RPRT
TI  - Reachability Analysis Using Constrained Polynomial Logical Zonotopes
AU  - Ahmad Hafez
AU  - Frank J. Jiang
AU  - Karl H. Johansson
AU  - Amr Alanwar
PY  - 2024
DO  - 10.1109/lcsys.2024.3414972
UR  - https://arxiv.org/abs/2403.18564
ID  - 2403.18564
ER  -