Schließen
Menü
Ashok Pranav in München
Treffer 1 von 1
aufklappen zuklappen Ausgewählte Filter
- Noch keine Filter ausgewählt
aufklappen zuklappen Treffer
aufklappen zuklappen Quellen
- Gewerbliche Webseiten1
Treffer im Web
Vortrag 09. Dezember 2020 – fahrerlos
Pranav Ashok , Vahid Hashemi , Jan Kretínský , Stefanie Mohr :DeepAbstract: Neural Network Abstraction for Accelerating Verification. ATVA 2020: 92-
Lade weitere Ergebnisse
Keine weiteren Ergebnisse
Passen Sie Ihre Suche an