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 : mardi 16 juillet 2024-11:56:03
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
14
Consultations
0
Téléchargements