Dr. Achiya Elyasaf

Know all about my research

Towards combining deep learning, verification, and scenario-based programming

Guy Katz, Achiya Elyasaf

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].

Publication language English
Publication status Published - 18.05.2021
3459631

ASJC Scopus subject areas

Artificial Intelligence
Control and Systems Engineering
Human-Computer Interaction
Access to Document
10.1145/3459086.3459631
Other files and links
Link to publication in Scopus