TY  - RPRT
TI  - Reachability Analysis of Nonlinear Discrete-Time Systems Using Polyhedral Relaxations and Constrained Zonotopes
AU  - Brenner S. Rego
AU  - Guilherme V. Raffo
AU  - Marco H. Terra
AU  - Joseph K. Scott
PY  - 2025
DO  - 10.1109/cdc56724.2024.10886592
UR  - https://arxiv.org/abs/2504.11663
ID  - 2504.11663
ER  -