Search Results for author: Huafeng Yu

Found 5 papers, 0 papers with code

Assumption Generation for the Verification of Learning-Enabled Autonomous Systems

no code implementations27 May 2023 Corina Pasareanu, Ravi Mangal, Divya Gopinath, Huafeng Yu

Our insight is that we can analyze the system in the absence of the DNN perception components by automatically synthesizing assumptions on the DNN behaviour that guarantee the satisfaction of the required safety properties.

Closed-loop Analysis of Vision-based Autonomous Systems: A Case Study

no code implementations6 Feb 2023 Corina S. Pasareanu, Ravi Mangal, Divya Gopinath, Sinem Getir Yaman, Calum Imrie, Radu Calinescu, Huafeng Yu

We address the above challenges by replacing the camera and the network with a compact probabilistic abstraction built from the confusion matrices computed for the DNN on a representative image data set.

Comparing the Performance of Traffic Coordination Methods for Advanced Aerial Mobility

no code implementations24 Aug 2021 Ítalo Romani de Oliveira, Euclides C. Pinto Neto, Thiago Matsumoto, Huafeng Yu, Emiliano Bartolomé, Guillermo Frontera, Aaron Mayne

To that end, we explore an airborne collaborative method for traffic coordination, which is capable of safely solving conflicts with multiple aircraft, stressing its capabilities throughout a large number of scenarios and comparing its performance with established methods.

Management

Decentralized Air Traffic Management for Advanced Air Mobility

no code implementations24 Aug 2021 Ítalo Romani de Oliveira, Euclides Carlos Pinto Neto, Thiago Toshio Matsumoto, Huafeng Yu

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 and nuances.

Management

Compositional Verification for Autonomous Systems with Deep Learning Components

no code implementations18 Oct 2018 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 such systems.

Autonomous Vehicles Recommendation Systems

Cannot find the paper you are looking for? You can Submit a new open access paper.