59 citations · 183 across the 18 of their papers we have counts for
1 paper · 2 filters
Corina Pasareanu, Ravi Mangal, Divya Gopinath +1
Providing safety guarantees for autonomous systems is difficult as these systems operate in complex environments that require the use of learning-enabled components, such as deep n…