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]
@article{YangZJO22,
title = {Efficient Backward Reachability Using the Minkowski Difference of Constrained Zonotopes},
author = {Liren Yang and Hang Zhang and Jean-Baptiste Jeannin and Necmiye Ozay},
year = {2022},
doi = {10.1109/TCAD.2022.3197971},
url = {https://doi.org/10.1109/TCAD.2022.3197971},
researchr = {https://researchr.org/publication/YangZJO22},
cites = {0},
citedby = {0},
journal = {IEEE Trans. on CAD of Integrated Circuits and Systems},
volume = {41},
number = {11},
pages = {3969-3980},
}