Scope
In this workshop, we seek usage of formal methods for deep learning based detectors, especially in the context of autonomous driving. Consequently, we are also interested in certification of these detectors so that they satisfy known safety standards, such as ISO26262 recommendations.
More...