אחיה אליסף

אקדמי בכיר

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

שפת פרסום אנגלית
סטטוס פרסום פורסם - 18.05.2021
3459631

ASJC Scopus subject areas

Artificial Intelligence
Control and Systems Engineering
Human-Computer Interaction
גישה למסמך
10.1145/3459086.3459631
קבצים וקישורים אחרים
Link to publication in Scopus