T4PC: Training Deep Neural Networks for Property Conformance
Sign Up to like & getrecommendations! Published in 2025 at "IEEE Transactions on Software Engineering"
DOI: 10.1109/tse.2025.3601591
Abstract: 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.… read more here.
Keywords: navigation; conformance; property conformance; deep neural ... See more keywords