1 paper · 1 filter
Anastasia Mavridou, Divya Gopinath, Corina S. PÄsÄreanu
The integration of AI components, particularly Deep Neural Networks (DNNs), into safety-critical systems such as aerospace and autonomous vehicles presents fundamental challenges f…