Adimoolam, A., & Dang, T. (2022). Safety Verification of Networked Control Systems by Complex Zonotopes. Leibniz Transactions on Embedded Systems, 8(2), 01:1–01:22. https://doi.org/10.4230/LITES.8.2.1