Adimoolam, Arvind, and Thao Dang. “Safety Verification of Networked Control Systems by Complex Zonotopes”. Leibniz Transactions on Embedded Systems 8, no. 2 (December 7, 2022): 01:1–01:22. Accessed June 6, 2023. https://ojs.dagstuhl.de/index.php/lites/article/view/lites-v008-i002-a001.