@inproceedings{cee2a0eff6534e3bb7049e3d828a9592,
title = "Towards combining deep learning, verification, and scenario-based programming",
abstract = "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].",
author = "Guy Katz and Achiya Elyasaf",
note = "Publisher Copyright: {\textcopyright} 2021 Owner/Author.; 1st International Workshop on Verification of Autonomous and Robotic Systems, VARS 2021 ; Conference date: 18-05-2021",
year = "2021",
month = may,
day = "18",
doi = "https://doi.org/10.1145/3459086.3459631",
language = "الإنجليزيّة",
series = "Proceedings of the 1st International Workshop on Verification of Autonomous and Robotic Systems, VARS 2021",
booktitle = "Proceedings of the 1st International Workshop on Verification of Autonomous and Robotic Systems, VARS 2021",
}