Arvind S. Adimoolam

Publication Activity (10 Years)

Years Active: 2016-2022
Publications (10 Years): 5

Top Topics

Computationally Intensive

Classification Systems

Affine Invariant

Top Venues

Publications

Arvind S. Adimoolam, Thao Dang
Safety Verification of Networked Control Systems by Complex Zonotopes. Leibniz Trans. Embed. Syst. 8 (2) (2022)
Arvind S. Adimoolam, Thao Dang
Augmented Complex Zonotopes for Computing Invariants of Affine Hybrid Systems. FORMATS (2017)
Arvind S. Adimoolam, Thao Dang, Alexandre Donzé, James Kapinski, Xiaoqing Jin
Classification and Coverage-Based Falsification for Embedded Control Systems. CAV (1) (2017)
Arvind S. Adimoolam, Thao Dang
Template complex zonotopes for stability and invariant verification. ACC (2017)
Arvind S. Adimoolam, Thao Dang
Using complex zonotopes for stability verification. ACC (2016)