Adimoolam, Arvind, and Thao Dang. 2022. “Safety Verification of Networked Control Systems by Complex Zonotopes”. Leibniz Transactions on Embedded Systems 8 (2). Wadern, Germany:01:1-01:22. https://doi.org/10.4230/LITES.8.2.1.