50 citations · 103 across the 6 of their papers we have counts for
1 paper · 1 filter
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…