Conference item

Safety and robustness for deep learning with provable guarantees (keynote)

Publication status:: Published

Peer review status:: Peer reviewed

Actions

Email

Email this record

Send the bibliographic details of this record to your email address.

Your Email
Please enter the email address that the record information will be sent to.

-
Your message (optional)
Please add any additional information to be included within the email.
Cite

Cite this record

APA Style

Kwiatkowska, M. (2019). Safety and robustness for deep learning with provable guarantees (keynote). ESEC/FSE 2019 Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2–2.

MLA Style

Kwiatkowska, M. “Safety and Robustness for Deep Learning with Provable Guarantees (Keynote).” ESEC/FSE 2019 Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Association for Computing Machinery, 2019, pp. 2–2.

Chicago Style

Kwiatkowska, M. 2019. “Safety and Robustness for Deep Learning with Provable Guarantees (Keynote).” In ESEC/FSE 2019 Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2–2. Association for Computing Machinery.
Share
Print

Access Document

Files:: fse19inv-inv2-p-7656526-41846-final.pdf

(Preview, Accepted manuscript, pdf, 369.7KB, Terms of use)

Publisher copy:: 10.1145/3338906.3342812

Authors

+ Kwiatkowska, M More by this author

Institution:: University of Oxford
Division:: MPLS
Department:: Computer Science
Oxford college:: Trinity College
Role:: Author

+ Engineering and Physical Sciences Research Council More from this funder

Grant:: EP/M019918/1

Publisher:: Association for Computing Machinery
Host title:: ESEC/FSE 2019 Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering
Journal:: 27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) More from this journal
Pages:: 2-2
Publication date:: 2019-08-12
Acceptance date:: 2019-08-02
DOI:: 10.1145/3338906.3342812
ISBN:: 9781450355728

Keywords:: automated verification

deep neural networks

adversarial examples
Pubs id:: pubs:1037517
UUID:: uuid:34d3d9db-da14-4f18-ba0d-e1c0961171a1
Local pid:: pubs:1037517
Source identifiers:: 1037517
Deposit date:: 2019-08-03

Terms of use

Copyright holder:: Kwiatkowska, M
Copyright date:: 2019
Notes:: This keynote will be presented at the 27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE), Tallinn, Estonia, 26-30 August 2019.

Licence:: Terms and Conditions of Use for Oxford University Research Archive

Views and Downloads

About views and downloads

If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP