3 citations · 4 across the 2 of their papers we have counts for
1 paper · 1 filter
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…