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

Guy Katz; Achiya Elyasaf

doi:10.1145/3459086.3459631

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

Guy Katz, Achiya Elyasaf

The Rachel and Selim Benin School of Engineering and Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

4 Scopus citations

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 language	English
Title of host publication	Proceedings of the 1st International Workshop on Verification of Autonomous and Robotic Systems, VARS 2021
Publisher	Association for Computing Machinery, Inc
ISBN (Electronic)	9781450384445
DOIs	https://doi.org/10.1145/3459086.3459631
State	Published - 18 May 2021
Event	1st International Workshop on Verification of Autonomous and Robotic Systems, VARS 2021 - Virtual, Online, United States Duration: 18 May 2021 → …

Publication series

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

Conference

Conference	1st International Workshop on Verification of Autonomous and Robotic Systems, VARS 2021
Country/Territory	United States
City	Virtual, Online
Period	18/05/21 → …

Bibliographical note

Publisher Copyright:
© 2021 Owner/Author.

Access to Document

10.1145/3459086.3459631

Cite this

Katz, G., & Elyasaf, A. (2021). Towards combining deep learning, verification, and scenario-based programming. In Proceedings of the 1st International Workshop on Verification of Autonomous and Robotic Systems, VARS 2021 Article 3459631 (Proceedings of the 1st International Workshop on Verification of Autonomous and Robotic Systems, VARS 2021). Association for Computing Machinery, Inc. https://doi.org/10.1145/3459086.3459631

Katz, Guy ; Elyasaf, Achiya. / Towards combining deep learning, verification, and scenario-based programming. Proceedings of the 1st International Workshop on Verification of Autonomous and Robotic Systems, VARS 2021. Association for Computing Machinery, Inc, 2021. (Proceedings of the 1st International Workshop on Verification of Autonomous and Robotic Systems, VARS 2021).

@inproceedings{bb67c43c8b874b6689ca9b7694b799a8,

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 = "10.1145/3459086.3459631",

language = "אנגלית",

series = "Proceedings of the 1st International Workshop on Verification of Autonomous and Robotic Systems, VARS 2021",

publisher = "Association for Computing Machinery, Inc",

booktitle = "Proceedings of the 1st International Workshop on Verification of Autonomous and Robotic Systems, VARS 2021",

}

Katz, G & Elyasaf, A 2021, Towards combining deep learning, verification, and scenario-based programming. in Proceedings of the 1st International Workshop on Verification of Autonomous and Robotic Systems, VARS 2021., 3459631, Proceedings of the 1st International Workshop on Verification of Autonomous and Robotic Systems, VARS 2021, Association for Computing Machinery, Inc, 1st International Workshop on Verification of Autonomous and Robotic Systems, VARS 2021, Virtual, Online, United States, 18/05/21. https://doi.org/10.1145/3459086.3459631

Towards combining deep learning, verification, and scenario-based programming. / Katz, Guy; Elyasaf, Achiya.
Proceedings of the 1st International Workshop on Verification of Autonomous and Robotic Systems, VARS 2021. Association for Computing Machinery, Inc, 2021. 3459631 (Proceedings of the 1st International Workshop on Verification of Autonomous and Robotic Systems, VARS 2021).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

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

AU - Katz, Guy

AU - Elyasaf, Achiya

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 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???

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 -

Katz G, Elyasaf A. Towards combining deep learning, verification, and scenario-based programming. In Proceedings of the 1st International Workshop on Verification of Autonomous and Robotic Systems, VARS 2021. Association for Computing Machinery, Inc. 2021. 3459631. (Proceedings of the 1st International Workshop on Verification of Autonomous and Robotic Systems, VARS 2021). doi: 10.1145/3459086.3459631

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

Abstract

Publication series

Conference

Bibliographical note

Access to Document

Other files and links

Fingerprint

Cite this