In this paper, we study the computational complexity of the quadratic
un...
Safety assurance is a central concern for the development and societal
a...
Fatal accidents are a major issue hindering the wide acceptance of
safet...
Fatal accidents are a major issue hindering the wide acceptance of
safet...
For using neural networks in safety critical domains, it is important to...
For using neural networks in safety critical domains, it is important to...
Neural networks and other data engineered models are instrumental in
dev...
Systematically testing models learned from neural networks remains a cru...