Search Results for author:
Found 5 papers, 0 papers with code
Assumption Generation for the Verification of Learning-Enabled Autonomous Systems
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
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
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.
Decentralized Air Traffic Management for Advanced Air Mobility
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.
Compositional Verification for Autonomous Systems with Deep Learning Components
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.
