39 citations · 76 across the 6 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.SI2020★ 11 cited
CasGCN: Predicting future cascade growth based on information diffusion graph
Zhixuan Xu, Minghui Qian, Xiaowei Huang +1
Sudden bursts of information cascades can lead to unexpected consequences such as extreme opinions, changes in fashion trends, and uncontrollable spread of rumors. It has become an…