TY - GEN
T1 - Towards combining deep learning, verification, and scenario-based programming
AU - Katz, Guy
AU - Elyasaf, Achiya
N1 - Publisher Copyright:
© 2021 Owner/Author.
PY - 2021/5/18
Y1 - 2021/5/18
N2 - Deep learning (DL) [4] is dramatically changing the world of software. The rapid improvement in deep neural network (DNN) technology now enables engineers to train models that achieve superhuman results, often surpassing algorithms that have been carefully hand-crafted by domain experts [19, 20]. There is even an intensifying trend of incorporating DNNs in safety-critical systems, e.g. as controllers for autonomous vehicles and drones [1, 12].
AB - Deep learning (DL) [4] is dramatically changing the world of software. The rapid improvement in deep neural network (DNN) technology now enables engineers to train models that achieve superhuman results, often surpassing algorithms that have been carefully hand-crafted by domain experts [19, 20]. There is even an intensifying trend of incorporating DNNs in safety-critical systems, e.g. as controllers for autonomous vehicles and drones [1, 12].
UR - http://www.scopus.com/inward/record.url?scp=85109021800&partnerID=8YFLogxK
U2 - 10.1145/3459086.3459631
DO - 10.1145/3459086.3459631
M3 - Conference contribution
AN - SCOPUS:85109021800
T3 - Proceedings of the 1st International Workshop on Verification of Autonomous and Robotic Systems, VARS 2021
BT - Proceedings of the 1st International Workshop on Verification of Autonomous and Robotic Systems, VARS 2021
PB - Association for Computing Machinery, Inc
T2 - 1st International Workshop on Verification of Autonomous and Robotic Systems, VARS 2021
Y2 - 18 May 2021
ER -