1 paper
Syed Ali Asadullah Bukhari, Thomas Flinkow, Medet Inkarbekov +2
The increased reliance of self-driving vehicles on neural networks opens up the challenge of their verification. In this paper we present an experience report, describing a case st…