Article Dans Une Revue
IEEE Control Systems Letters
Année : 2023
Sorin Olaru : Connectez-vous pour contacter le contributeur
https://centralesupelec.hal.science/hal-04355150
Soumis le : mercredi 20 décembre 2023-09:42:47
Dernière modification le : vendredi 3 mai 2024-18:28:17
Dates et versions
Identifiants
- HAL Id : hal-04355150 , version 1
- ARXIV : 2312.11352
- DOI : 10.1109/LCSYS.2023.3342088
Citer
Louis Jouret, Adnane Saoud, Sorin Olaru. Safety Verification of Neural-Network-Based Controllers: A Set Invariance Approach. IEEE Control Systems Letters, 2023, pp.1-1. ⟨10.1109/LCSYS.2023.3342088⟩. ⟨hal-04355150⟩
Collections
11
Consultations
0
Téléchargements