Liren Yang, Hang Zhang, Jean-Baptiste Jeannin, Necmiye Ozay. Efficient Backward Reachability Using the Minkowski Difference of Constrained Zonotopes. IEEE Trans. on CAD of Integrated Circuits and Systems, 41(11):3969-3980, 2022. [doi]
Abstract is missing.