39 citations · 78 across the 10 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.RO2020★ 4 cited
Formal Verification of Robustness and Resilience of Learning-Enabled State Estimation Systems
Wei Huang, Yifan Zhou, Gaojie Jin +4
This paper presents a formal verification guided approach for a principled design and implementation of robust and resilient learning-enabled systems. We focus on learning-enabled…
cs.CR2020★ 12 cited
Embedding and Extraction of Knowledge in Tree Ensemble Classifiers
Wei Huang, Xingyu Zhao, Xiaowei Huang
The embedding and extraction of useful knowledge is a recent trend in machine learning applications, e.g., to supplement existing datasets that are small. Whilst, as the increasing…