4 citations · 7 across the 8 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…