no code implementations • 6 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.
no code implementations • 24 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.
no code implementations • 24 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.
no code implementations • 18 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.