3 citations · 5 across the 4 of their papers we have counts for
5 papers
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…
Closed-loop Analysis of Vision-based Autonomous Systems: A Case Study
Corina S. Pasareanu, Ravi Mangal, Divya Gopinath +4
Deep neural networks (DNNs) are increasingly used in safety-critical autonomous systems as perception components processing high-dimensional image data. Formal analysis of these sy…
Comparing the Performance of Traffic Coordination Methods for Advanced Aerial Mobility
Ítalo Romani de Oliveira, Euclides C. Pinto Neto, Thiago Matsumoto +4
Traffic Management in Advanced Aerial Mobility (AAM) inherits many elements of conventional Air Traffic Management (ATM), but brings new complexities and challenges of its own. One…
Decentralized Air Traffic Management for Advanced Air Mobility
Ítalo Romani de Oliveira, Euclides Carlos Pinto Neto, Thiago Toshio Matsumoto +1
Leading proposals for Advanced Air Mobility (AAM) recognize the need for strategic and tactical airspace deconfliction, where the need for coordination appears in different forms a…
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…