[1]
A. Adimoolam and T. Dang, “Safety Verification of Networked Control Systems by Complex Zonotopes”, LITES, vol. 8, no. 2, pp. 01:1–01:22, Dec. 2022.