Using complex zonotopes for stability verification. - Arvind S. Adimoolam; Thao Dang 001 (ACC, 2016)

Template complex zonotopes for stability and invariant verification. - Arvind S. Adimoolam; Thao Dang 001 (ACC, 2017)

Classification and Coverage-Based Falsification for Embedded Control Systems. - Arvind S. Adimoolam; Thao Dang 001; Alexandre Donzé; James Kapinski; Xiaoqing Jin (CAV (1), 2017)

Augmented Complex Zonotopes for Computing Invariants of Affine Hybrid Systems. - Arvind S. Adimoolam; Thao Dang 001 (FORMATS, 2017)

Safety Verification of Networked Control Systems by Complex Zonotopes. - Arvind S. Adimoolam; Thao Dang 001 (Leibniz Trans. Embed. Syst., 2022)