Merkliste 
 1 Ergebnisse 
 
1

Safety Verification of Unknown Dynamical Systems via Gaussi..:

, In: 2020 59th IEEE Conference on Decision and Control (CDC),
Jackson, John ; Laurenti, Luca ; Frew, Eric. - p. 860-866 , 2020