Case Study: Analysis of Autonomous Center Line Tracking Neural Networks

von Kadron, Ismet Burak
Veröffentlicht in VSTTE (13. : 2021 : Online) Software Verification (2022)

Correction to: Feature-Guided Analysis of Neural Networks

von Gopinath, Divya
Veröffentlicht in FASE (26. : 2023 : Paris) Fundamental approaches to software engineering (2023)

Feature-Guided Analysis of Neural Networks

von Gopinath, Divya
Veröffentlicht in FASE (26. : 2023 : Paris) Fundamental approaches to software engineering (2023)