Collaborated with:M.Vazquez-Chanlatte J.V.Deshmukh S.A.Seshia A.S.Adimoolam T.Dang A.Donzé J.Kapinski
Talks about:coverag (1) control (1) cluster (1) classif (1) system (1) falsif (1) logic (1) learn (1) embed (1) time (1)
Person: Xiaoqing Jin
DBLP: Jin:Xiaoqing
Contributed to:
2017Wrote 2 papers:
- CAV-2017-AdimoolamDDKJ #classification #embedded
- Classification and Coverage-Based Falsification for Embedded Control Systems (ASA, TD, AD, JK, XJ), pp. 483–503.
- CAV-2017-Vazquez-Chanlatte #clustering #learning #logic
- Logical Clustering and Learning for Time-Series Data (MVC, JVD, XJ, SAS), pp. 305–325.