67 citations · 299 across the 33 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2023★ 1 cited
Assumption Generation for the Verification of Learning-Enabled Autonomous Systems
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…
cs.AI2018★ 1 cited
Compositional Verification for Autonomous Systems with Deep Learning Components
Corina S. Pasareanu, Divya Gopinath, Huafeng Yu
As autonomy becomes prevalent in many applications, ranging from recommendation systems to fully autonomous vehicles, there is an increased need to provide safety guarantees for su…