Collaborated with:
T.Dang A.Donzé J.Kapinski X.Jin
Talks about:
coverag (1) control (1) classif (1) system (1) falsif (1) embed (1) base (1)
Person: Arvind S. Adimoolam
DBLP: Adimoolam:Arvind_S=
Contributed to:
Wrote 1 papers:
- CAV-2017-AdimoolamDDKJ #classification #embedded
- Classification and Coverage-Based Falsification for Embedded Control Systems (ASA, TD, AD, JK, XJ), pp. 483–503.