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

Guy Katz, Achiya Elyasaf

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

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

Original languageEnglish
Title of host publicationProceedings of the 1st International Workshop on Verification of Autonomous and Robotic Systems, VARS 2021
PublisherAssociation for Computing Machinery, Inc
ISBN (Electronic)9781450384445
DOIs
StatePublished - 18 May 2021
Event1st International Workshop on Verification of Autonomous and Robotic Systems, VARS 2021 - Virtual, Online, United States
Duration: 18 May 2021 → …

Publication series

NameProceedings of the 1st International Workshop on Verification of Autonomous and Robotic Systems, VARS 2021

Conference

Conference1st International Workshop on Verification of Autonomous and Robotic Systems, VARS 2021
Country/TerritoryUnited States
CityVirtual, Online
Period18/05/21 → …

ASJC Scopus subject areas

  • Artificial Intelligence
  • Control and Systems Engineering
  • Human-Computer Interaction

Fingerprint

Dive into the research topics of 'Towards combining deep learning, verification, and scenario-based programming'. Together they form a unique fingerprint.

Cite this