39 citations · 78 across the 10 of their papers we have counts for
1 paper · 2 filters
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…