3 papers
eess.SY2021
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…
eess.SY2021
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…
cs.AI2018
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…