T4PC: Training Deep Neural Networks for Property Conformance
Felipe Toledo, Trey Woodlief, Sebastian Elbaum, and Matthew B. Dwyer
The increasing integration of Deep Neural Networks (DNNs) into safety critical systems, such as Autonomous Vehicles (AVs), where failures can lead to significant consequences, has fostered the development of many Verification and Validation (V&V) techniques. However, these techniques are applied mainly after the DNN training process is complete. This delayed…
Read more
Content: [Pre-print] [Ieee-xplore] [Artifact]