Reaching Out Towards Fully Verified Autonomous Systems - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2019

Reaching Out Towards Fully Verified Autonomous Systems

Résumé

Autonomous systems such as "self-driving" vehicles and closedloop 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.
Fichier principal
Vignette du fichier
rp_2019.pdf (258.49 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04465076 , version 1 (19-02-2024)

Identifiants

Citer

Sriram Sankaranarayanan, Souradeep Dutta, Sergio Mover. Reaching Out Towards Fully Verified Autonomous Systems. Reachability Problems, Sep 2019, Brussels (Belgium), France. pp.22-32, ⟨10.1007/978-3-030-30806-3_3⟩. ⟨hal-04465076⟩
2 Consultations
3 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More