Safety Verification of Neural-Network-Based Controllers: A Set Invariance Approach - CentraleSupélec Accéder directement au contenu
Article Dans Une Revue IEEE Control Systems Letters Année : 2023

Safety Verification of Neural-Network-Based Controllers: A Set Invariance Approach

Dates et versions

hal-04355150 , version 1 (20-12-2023)

Identifiants

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⟩
11 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More