ACAS Xu is an air-to-air collision avoidance system designed for unmanne...
Safety is a critical concern for the next generation of autonomy that is...
Deep convolutional neural networks have been widely employed as an effec...
The vulnerability of artificial intelligence (AI) and machine learning (...
This paper presents the Neural Network Verification (NNV) software tool,...
Convolutional Neural Networks (CNN) have redefined the state-of-the-art ...
Deep neural networks have been widely applied as an effective approach t...
Safety-critical distributed cyber-physical systems (CPSs) have been foun...
This paper presents a specification-guided safety verification method fo...
Reachability analysis is a fundamental problem for safety verification a...
Affine systems reachability is the basis of many verification methods. W...
Neural networks have been widely used to solve complex real-world proble...