@inproceedings{3d5a7c8f2af846138aa01f005e670ffc,
title = "Reaching Out Towards Fully Verified Autonomous Systems",
abstract = "Autonomous systems such as “self-driving” vehicles and closed-loop medical devices increasingly rely on learning-enabled components such as neural networks to perform safety critical perception and control tasks. As a result, the problem of verifying that these systems operate correctly is of the utmost importance. We will briefly examine the role of neural networks in the design and implementation of autonomous systems, and how various verification approaches can contribute towards engineering verified autonomous systems. In doing so, we examine promising initial solutions that have been proposed over the past three years and the big challenges that remain to be tackled.",
keywords = "Autonomous systems, Constraint solvers, Formal verification",
author = "Sriram Sankaranarayanan and Souradeep Dutta and Sergio Mover",
note = "Publisher Copyright: {\textcopyright} 2019, Springer Nature Switzerland AG.; 13th International Conference on Reachability Problems, RP 2019 ; Conference date: 11-09-2019 Through 13-09-2019",
year = "2019",
month = jan,
day = "1",
doi = "10.1007/978-3-030-30806-3\_3",
language = "English",
isbn = "9783030308056",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "22--32",
editor = "Emmanuel Filiot and Rapha{\"e}l Jungers and Igor Potapov",
booktitle = "Reachability Problems - 13th International Conference, RP 2019, Proceedings",
}