Login / Signup
Louis Jouret
ORCID
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 2
Top Topics
User Defined
Relational Databases
Mobile Robot
Initial Set
Top Venues
IEEE Control. Syst. Lett.
CoRR
</>
Publications
</>
Louis Jouret
,
Adnane Saoud
,
Sorin Olaru
Safety Verification of Neural-Network-Based Controllers: A Set Invariance Approach.
IEEE Control. Syst. Lett.
7 (2023)
Louis Jouret
,
Adnane Saoud
,
Sorin Olaru
Safety verification of Neural-Network-based controllers: a set invariance approach.
CoRR
(2023)