TY - RPRT TI - Efficient Backward Reachability Using the Minkowski Difference of Constrained Zonotopes AU - Liren Yang AU - Hang Zhang AU - Jean-Baptiste Jeannin AU - Necmiye Ozay PY - 2022 UR - https://arxiv.org/abs/2207.04272 ID - 2207.04272 ER -